{"name":"coqPackages.paco","summary":"Coq library implementing parameterized coinduction","description":"","homepage_url":"https://plv.mpi-sws.org/paco/","license":"","attribute_paths":["coqPackages.paco"],"releases":[{"version":"4.2.3","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.paco","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/gc9y60rsx91hr6f1r1qs091d60xgvyyr-coq9.1-paco-4.2.3","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.paco","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/j1riw2vvbxafvl00s2f1qc18i8ifkadz-coq9.1-paco-4.2.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.paco","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/hw9fvdm7p0ksp1p4n3q2v6lxdlpcbhc2-coq9.1-paco-4.2.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.paco","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/l1z4fhssiy2cspa4dskckq2zx4r2nl0r-coq9.1-paco-4.2.3","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"4.2.2","last_updated":"2025-03-11T17:52:14Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.paco","commit_hash":"2d068ae5c6516b2d04562de50a58c682540de9bf","date":"2025-02-23T09:42:26Z","outputs":[{"name":"out","path":"/nix/store/yswpxjxil7n4iyjz8jwv64wmxwkywiag-coq8.20-paco-4.2.2","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.paco","commit_hash":"2d068ae5c6516b2d04562de50a58c682540de9bf","date":"2025-02-23T09:42:26Z","outputs":[{"name":"out","path":"/nix/store/127c1mx5938c4g6jwhlfygls14sg6mva-coq8.20-paco-4.2.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.paco","commit_hash":"2d068ae5c6516b2d04562de50a58c682540de9bf","date":"2025-02-23T09:42:26Z","outputs":[{"name":"out","path":"/nix/store/1f1xrhcn1fdxajq6w6j1176wsyr059bv-coq8.20-paco-4.2.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.paco","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/hz360nc9wyhnkj71lcg6xivgaqgs1xa5-coq8.20-paco-4.2.2","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"4.2.0","last_updated":"2025-01-05T01:56:15Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.paco","commit_hash":"bf689c40d035239a489de5997a4da5352434632e","date":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/4819p0d7hds52npy9kx1nq6j7bqj29k1-coq8.20-paco-4.2.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.paco","commit_hash":"bf689c40d035239a489de5997a4da5352434632e","date":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/wg135wh2d1p5wfbd3b5py0f5v85dhcsf-coq8.20-paco-4.2.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.paco","commit_hash":"bf689c40d035239a489de5997a4da5352434632e","date":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/2lxxdcb188385qxlhzghynwsm6mgi878-coq8.20-paco-4.2.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.paco","commit_hash":"bf689c40d035239a489de5997a4da5352434632e","date":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/6gmbxr749rf9nkf26y0sf9ciwdadqhy9-coq8.20-paco-4.2.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"4.1.2","last_updated":"2023-08-01T03:21:57Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.paco","commit_hash":"96d403ee2479f2070050353b94808209f1352edb","date":"2023-08-01T03:21:57Z","outputs":[{"name":"out","path":"/nix/store/pgicsl4vhw3yhmnc3gi1j2npcxcnwsv4-coq8.17-paco-4.1.2","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.paco","commit_hash":"96d403ee2479f2070050353b94808209f1352edb","date":"2023-08-01T03:21:57Z","outputs":[{"name":"out","path":"/nix/store/jr7w13zq676rvhxg30k6gqj35qigqhd1-coq8.17-paco-4.1.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.paco","commit_hash":"96d403ee2479f2070050353b94808209f1352edb","date":"2023-08-01T03:21:57Z","outputs":[{"name":"out","path":"/nix/store/90iwaxcq4363nv3dhnmryjiz2gcygzgf-coq8.17-paco-4.1.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.paco","commit_hash":"96d403ee2479f2070050353b94808209f1352edb","date":"2023-08-01T03:21:57Z","outputs":[{"name":"out","path":"/nix/store/sf7fdb907vbh6ynpc73sn87sjwngf5ii-coq8.17-paco-4.1.2","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"4.1.1","last_updated":"2021-12-17T21:50:42Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.paco","commit_hash":"7de40c4783b3c909e5cc273cc68cba3d2b5f65ec","date":"2021-12-17T21:50:42Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.paco","commit_hash":"7de40c4783b3c909e5cc273cc68cba3d2b5f65ec","date":"2021-12-17T21:50:42Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.paco","commit_hash":"7de40c4783b3c909e5cc273cc68cba3d2b5f65ec","date":"2021-12-17T21:50:42Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"4.0.2","last_updated":"2021-12-15T02:46:45Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.paco","commit_hash":"2df15ba83d0510a56f2583fd3481723835acb5a1","date":"2021-12-03T17:41:48Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.paco","commit_hash":"2df15ba83d0510a56f2583fd3481723835acb5a1","date":"2021-12-03T17:41:48Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.paco","commit_hash":"f6e14b6ada8ea9e1bcec55d9cb716e9a86af0642","date":"2021-12-15T02:46:45Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"4.0.0","last_updated":"2020-10-12T03:38:29Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.paco","commit_hash":"cfed29bfcb28259376713005d176a6f82951014a","date":"2020-10-12T03:38:29Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}