{"name":"coq_8_6","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":"http://coq.inria.fr","license":"LGPL-2.1","attribute_paths":["coq_8_6"],"releases":[{"version":"8.6.1","last_updated":"2025-07-18T03:30:42Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coq_8_6","commit_hash":"7d0ed7f2e5aea07ab22ccb338d27fbe347ed2f11","date":"2023-02-24T09:01:09Z","outputs":[],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coq_8_6","commit_hash":"e821e03193486359aa942372be2d9c1f377b7a18","date":"2025-07-18T03:30:42Z","outputs":[{"name":"out","path":"/nix/store/bylay6w2niznz13fjn52ps3dli3dcdkg-coq-8.6.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coq_8_6","commit_hash":"e821e03193486359aa942372be2d9c1f377b7a18","date":"2025-07-18T03:30:42Z","outputs":[{"name":"out","path":"/nix/store/sy03v8v2b8rl9baw2gg928qr1pba8bjj-coq-8.6.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coq_8_6","commit_hash":"e821e03193486359aa942372be2d9c1f377b7a18","date":"2025-07-18T03:30:42Z","outputs":[{"name":"out","path":"/nix/store/zgsqm4whis94xb6nijlx3p95jaxcvkcy-coq-8.6.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}