{"name":"coq_8_18","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_18"],"releases":[{"version":"8.18.0","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coq_8_18","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/nx4hcxs8p017iyriy38c46k8xjm5kwl7-coq-8.18.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coq_8_18","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/a7w1sxnrz7q6wjwsbfzrkcdrdbd9lgyx-coq-8.18.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coq_8_18","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/3zfl0pb87v745sfjywxj50z7piw6s97n-coq-8.18.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coq_8_18","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/66pf6n11kli4vjxfjam2r4jc12xl3qg4-coq-8.18.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"8.18+rc1","last_updated":"2023-09-15T06:49:28Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coq_8_18","commit_hash":"46688f8eb5cd6f1298d873d4d2b9cf245e09e88e","date":"2023-09-15T06:49:28Z","outputs":[{"name":"out","path":"/nix/store/8n72jk6bjdws241rxnvll5c5y8y1grrr-coq-8.18+rc1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coq_8_18","commit_hash":"46688f8eb5cd6f1298d873d4d2b9cf245e09e88e","date":"2023-09-15T06:49:28Z","outputs":[{"name":"out","path":"/nix/store/7lfpzygclnpi1yq72fizpkbsifm3fgl3-coq-8.18+rc1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coq_8_18","commit_hash":"46688f8eb5cd6f1298d873d4d2b9cf245e09e88e","date":"2023-09-15T06:49:28Z","outputs":[{"name":"out","path":"/nix/store/4a9w7vdj0cg05wz85y2rxi3shryi6nll-coq-8.18+rc1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coq_8_18","commit_hash":"46688f8eb5cd6f1298d873d4d2b9cf245e09e88e","date":"2023-09-15T06:49:28Z","outputs":[{"name":"out","path":"/nix/store/1z42w2sdhwjswh8shjglngz6d66g306h-coq-8.18+rc1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}