{"name":"coq_9_1","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_9_1"],"releases":[{"version":"9.1.1","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coq_9_1","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/614980jsqr5wmnv1h0r1gkirl828dn8g-coq-9.1.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coq_9_1","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/35yi78kypkfsy05ypp5bariv1p879c80-coq-9.1.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coq_9_1","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/5558bh89q05slqdgqs22xmg0iv3jspj8-coq-9.1.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coq_9_1","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/4brr74p3g4q4s6qcd85nscw8mwfryyk9-coq-9.1.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"9.1.0","last_updated":"2026-01-23T17:20:52Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coq_9_1","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/4a8qjr1ffvaq9i94xxnf1sk9aiahyc53-coq-9.1.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coq_9_1","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/628ms8px8h5arfypf2wrqkskzklv5bdq-coq-9.1.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coq_9_1","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/3zi5kj58chnx97qhv725al14w17idm66-coq-9.1.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coq_9_1","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/fqbwdc2b11dn4y1ajmjqir057mjrx5q7-coq-9.1.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"9.1+rc1","last_updated":"2025-07-28T17:09:23Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coq_9_1","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/aspnf0kzcclwg9gln910jm8dbk9527g3-coq-9.1+rc1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coq_9_1","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/hvhwxvfjw1zw0yzz3wk67jp41lhvqpxn-coq-9.1+rc1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coq_9_1","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/p746snqglamyl3wf3l38w2bvz8kvz5mr-coq-9.1+rc1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coq_9_1","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/mxpz894bhg5d0f8s379lw96h0xccigcw-coq-9.1+rc1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}