{"name":"coq_8_15","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_15"],"releases":[{"version":"8.15.2","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coq_8_15","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/1q9lqnlzlc4vs3ph1j4z760c37migr34-coq-8.15.2","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coq_8_15","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/4lb6ldnkc0xrlynnbn23hbrqk82vncaf-coq-8.15.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coq_8_15","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/n3slyannasv949xl87nbj64gd3drsnfg-coq-8.15.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coq_8_15","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/mwrrcigpr0q9zc0kbfp6basmxzz8dmhc-coq-8.15.2","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"8.15.1","last_updated":"2022-06-02T17:14:19Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coq_8_15","commit_hash":"059530fbdb1a2e0f78e896a93d6b6da5999485d9","date":"2022-06-02T17:14:19Z","outputs":[{"name":"out","path":"/nix/store/cq33850i4nnsk6p07x23ajik7hkd663p-coq-8.15.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coq_8_15","commit_hash":"059530fbdb1a2e0f78e896a93d6b6da5999485d9","date":"2022-06-02T17:14:19Z","outputs":[{"name":"out","path":"/nix/store/xgq4wyl7aq2gmcwrf3agj58rz84z8y36-coq-8.15.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coq_8_15","commit_hash":"059530fbdb1a2e0f78e896a93d6b6da5999485d9","date":"2022-06-02T17:14:19Z","outputs":[{"name":"out","path":"/nix/store/53y11pwvpaxxadbhfhbdn9vkxz2i4ygb-coq-8.15.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coq_8_15","commit_hash":"059530fbdb1a2e0f78e896a93d6b6da5999485d9","date":"2022-06-02T17:14:19Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"8.15.0","last_updated":"2022-03-21T18:25:50Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coq_8_15","commit_hash":"4c3c80df545ec5cb26b5480979c3e3f93518cbe5","date":"2022-03-21T18:25:50Z","outputs":[{"name":"out","path":"/nix/store/8x3xpmai745aix907q2sykblz23i0ch0-coq-8.15.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coq_8_15","commit_hash":"4c3c80df545ec5cb26b5480979c3e3f93518cbe5","date":"2022-03-21T18:25:50Z","outputs":[{"name":"out","path":"/nix/store/110jl2lkn2hby2z9fv0hkjv875ch9f6c-coq-8.15.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coq_8_15","commit_hash":"4c3c80df545ec5cb26b5480979c3e3f93518cbe5","date":"2022-03-21T18:25:50Z","outputs":[{"name":"out","path":"/nix/store/06rzl4mddc0acwna3fn2zmc5c9xqm2yf-coq-8.15.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coq_8_15","commit_hash":"4c3c80df545ec5cb26b5480979c3e3f93518cbe5","date":"2022-03-21T18:25:50Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"8.15+rc1","last_updated":"2022-01-24T04:57:42Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coq_8_15","commit_hash":"cc68710784ffe0ee035ee7b726656c44566cac94","date":"2022-01-24T04:57:42Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coq_8_15","commit_hash":"cc68710784ffe0ee035ee7b726656c44566cac94","date":"2022-01-24T04:57:42Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coq_8_15","commit_hash":"cc68710784ffe0ee035ee7b726656c44566cac94","date":"2022-01-24T04:57:42Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}