{"name":"rocq-core_9_0","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_0"],"releases":[{"version":"9.0.1","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"rocq-core_9_0","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/zkyzbfxqlicn3mighx3wlf9npfavb3kn-rocq-9.0.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"rocq-core_9_0","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/iv1bp979qsqkyxqx7b5pq68d4j86d63q-rocq-9.0.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"rocq-core_9_0","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/gh1qzdvypqv4wpv2gss18h5gjhz16ddq-rocq-9.0.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"rocq-core_9_0","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/z10d0gmk32h4ks4n6x7gxgh9ww4p2yjl-rocq-9.0.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"9.0.0","last_updated":"2025-07-31T04:07:16Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"rocq-core_9_0","commit_hash":"8679b16e11becd487b45d568358ddf9d5640d860","date":"2025-07-31T04:07:16Z","outputs":[{"name":"out","path":"/nix/store/gdxzi99vimjwd5s1k08lk0gpjp7ap310-rocq-9.0.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"rocq-core_9_0","commit_hash":"8679b16e11becd487b45d568358ddf9d5640d860","date":"2025-07-31T04:07:16Z","outputs":[{"name":"out","path":"/nix/store/azyfybmxfky7hzlnflsxilhh746ipwqj-rocq-9.0.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"rocq-core_9_0","commit_hash":"8679b16e11becd487b45d568358ddf9d5640d860","date":"2025-07-31T04:07:16Z","outputs":[{"name":"out","path":"/nix/store/x0zv5cyz4f3xfsy1dmy50q2kbxr63rq5-rocq-9.0.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"rocq-core_9_0","commit_hash":"8679b16e11becd487b45d568358ddf9d5640d860","date":"2025-07-31T04:07:16Z","outputs":[{"name":"out","path":"/nix/store/rdv2n8f30y6vdjby6vvkphkij6ji8iqp-rocq-9.0.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"9.0+rc1","last_updated":"2025-03-11T17:52:14Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"rocq-core_9_0","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/77bnd5nl4w0vgmzj2gm7qrvw38awi7hb-rocq-9.0+rc1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"rocq-core_9_0","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/lwg21bgnmqki0qw33ppw2zj5czf99xl0-rocq-9.0+rc1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"rocq-core_9_0","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/02mbh5h4fh8w4vjck3s7i2j0zxkkbmzm-rocq-9.0+rc1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"rocq-core_9_0","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/csclv79x8d1lrymy787wlp51fx2xbmqa-rocq-9.0+rc1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}