{"name":"rocq-core_9_2","summary":"Rocq Prover","description":"The Rocq Prover is an interactive theorem prover, or proof assistant. It provides\na formal language to write mathematical definitions, executable\nalgorithms and theorems together with an environment for\nsemi-interactive development of machine-checked proofs.","homepage_url":"https://rocq-prover.org","license":"LGPL-2.1","attribute_paths":["rocq-core_9_2"],"releases":[{"version":"9.2.0","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"rocq-core_9_2","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/adl3zs47m15gaz0ada7skr4nb9nryp40-rocq-9.2.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"rocq-core_9_2","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/zzz0d3mw9rbf9aax38ngcmbjkrni9fq9-rocq-9.2.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"rocq-core_9_2","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/ckf4048mn5z6vkrh1f5knx3ghj41fwbr-rocq-9.2.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"rocq-core_9_2","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/93csj8yhv9l4yaqn52q9l8k4216wf12k-rocq-9.2.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"9.2+rc2","last_updated":"2026-03-21T07:29:51Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"rocq-core_9_2","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/8kv20d1prw692ba9lpzd049376p3hx7q-rocq-9.2+rc2","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"rocq-core_9_2","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/irkvq0pj3wbsg1rjkj0a9r4pabsb948k-rocq-9.2+rc2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"rocq-core_9_2","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/hlxl869arph5f47rsbmmi8ns80qap8c9-rocq-9.2+rc2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"rocq-core_9_2","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/s11r1zn9ch2akclrapm09vw8yh29a58b-rocq-9.2+rc2","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"9.2+rc1","last_updated":"2026-02-06T12:24:04Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"rocq-core_9_2","commit_hash":"ae67888ff7ef9dff69b3cf0cc0fbfbcd3a722abe","date":"2026-02-06T12:24:04Z","outputs":[{"name":"out","path":"/nix/store/0s2jdfn09bi0wkq9q3nsa2z0sc30vhz6-rocq-9.2+rc1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"rocq-core_9_2","commit_hash":"ae67888ff7ef9dff69b3cf0cc0fbfbcd3a722abe","date":"2026-02-06T12:24:04Z","outputs":[{"name":"out","path":"/nix/store/2vr0cc4pmjbwhns1pwzskw4pp3kx1fns-rocq-9.2+rc1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"rocq-core_9_2","commit_hash":"ae67888ff7ef9dff69b3cf0cc0fbfbcd3a722abe","date":"2026-02-06T12:24:04Z","outputs":[{"name":"out","path":"/nix/store/m7p7lg4fcapjga5x571wsspmljvzr8kj-rocq-9.2+rc1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"rocq-core_9_2","commit_hash":"ae67888ff7ef9dff69b3cf0cc0fbfbcd3a722abe","date":"2026-02-06T12:24:04Z","outputs":[{"name":"out","path":"/nix/store/5fnkbykpqkq16qgxlvh86fkamiq02pbw-rocq-9.2+rc1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}