{"name":"coq_8_17","summary":"Coq proof assistant","description":"Coq is a formal proof management system.  It provides a formal language\nto write mathematical definitions, executable algorithms and theorems\ntogether with an environment for semi-interactive development of\nmachine-checked proofs.","homepage_url":"https://coq.inria.fr","license":"LGPL-2.1","attribute_paths":["coq_8_17"],"releases":[{"version":"8.17.1","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coq_8_17","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/xxzpc46gyy33l8kly2sk87dvfv2sygck-coq-8.17.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coq_8_17","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/8pjiv0f16yfijhsh20i207812hnjyqi7-coq-8.17.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coq_8_17","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/z00sgiwvs68ll5fgnvnx18sl2l6sn7ak-coq-8.17.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coq_8_17","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/5nr28y8x6wkwl89qwh3mbbsr4xlv6i1g-coq-8.17.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"8.17.0","last_updated":"2023-06-28T18:32:28Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coq_8_17","commit_hash":"60a783e00517fce85c42c8c53fe0ed05ded5b2a4","date":"2023-06-28T18:32:28Z","outputs":[{"name":"out","path":"/nix/store/cz08hwq3qbcmsj5vz09qbwx4nz8zvlb6-coq-8.17.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coq_8_17","commit_hash":"60a783e00517fce85c42c8c53fe0ed05ded5b2a4","date":"2023-06-28T18:32:28Z","outputs":[{"name":"out","path":"/nix/store/wg2p1i6izxmmxprqqibdys2ksmz5cwwv-coq-8.17.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coq_8_17","commit_hash":"60a783e00517fce85c42c8c53fe0ed05ded5b2a4","date":"2023-06-28T18:32:28Z","outputs":[{"name":"out","path":"/nix/store/dz1k5br21jr3r5kh2d2c77hdwi6hyhnh-coq-8.17.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coq_8_17","commit_hash":"60a783e00517fce85c42c8c53fe0ed05ded5b2a4","date":"2023-06-28T18:32:28Z","outputs":[{"name":"out","path":"/nix/store/aqyz09dfyhlrz0y26adx9qpcvk6xzllg-coq-8.17.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"8.17+rc1","last_updated":"2023-03-16T17:26:55Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coq_8_17","commit_hash":"194c2aa446b2b059886bb68be15ef6736d5a8c31","date":"2023-03-16T17:26:55Z","outputs":[{"name":"out","path":"/nix/store/7ijisqgz39782psk6dxclz3jz06ia591-coq-8.17+rc1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coq_8_17","commit_hash":"194c2aa446b2b059886bb68be15ef6736d5a8c31","date":"2023-03-16T17:26:55Z","outputs":[{"name":"out","path":"/nix/store/bv779s6s811kgdgg39w4fygvxidkh8qr-coq-8.17+rc1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coq_8_17","commit_hash":"194c2aa446b2b059886bb68be15ef6736d5a8c31","date":"2023-03-16T17:26:55Z","outputs":[{"name":"out","path":"/nix/store/1r7fjfgcjybqdl9460jr3fdmmbw3p6is-coq-8.17+rc1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coq_8_17","commit_hash":"194c2aa446b2b059886bb68be15ef6736d5a8c31","date":"2023-03-16T17:26:55Z","outputs":[{"name":"out","path":"/nix/store/aasmlv6fx3zzy18im7mlacy1hbkfk8z4-coq-8.17+rc1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}