{"name":"rocq-core_9_1","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_1"],"releases":[{"version":"9.1.1","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"rocq-core_9_1","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/qahwvhrx36mbikmlvv23qr6k65d04ng2-rocq-9.1.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"rocq-core_9_1","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/2d6i59pv8s32321m55jc7jmz60pz8bql-rocq-9.1.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"rocq-core_9_1","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/w5viigksfl3f0znzh0jbg98xkmr9nn0s-rocq-9.1.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"rocq-core_9_1","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/az4b41r614nzx5b0cmvj6a2ss6bzg04z-rocq-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":"rocq-core_9_1","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/akh37vs0daxxm2w7yw3hdlwi1g7ish69-rocq-9.1.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"rocq-core_9_1","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/hk9as3vq0v5dxm9asg3slcyvdy1gdbwh-rocq-9.1.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"rocq-core_9_1","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/y7arsk5kv467yhrymai209jx5nrv8n92-rocq-9.1.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"rocq-core_9_1","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/5dpdgnylzjyrh6ljnr5mlyynm3d1j7ya-rocq-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-31T04:07:16Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"rocq-core_9_1","commit_hash":"8679b16e11becd487b45d568358ddf9d5640d860","date":"2025-07-31T04:07:16Z","outputs":[{"name":"out","path":"/nix/store/9120k6rbgsnxmln5vnggrpynzjkrnzy2-rocq-9.1+rc1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"rocq-core_9_1","commit_hash":"8679b16e11becd487b45d568358ddf9d5640d860","date":"2025-07-31T04:07:16Z","outputs":[{"name":"out","path":"/nix/store/0r9xk1b1h0bw8xh8r54z00sq8ks3caiv-rocq-9.1+rc1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"rocq-core_9_1","commit_hash":"8679b16e11becd487b45d568358ddf9d5640d860","date":"2025-07-31T04:07:16Z","outputs":[{"name":"out","path":"/nix/store/04sm2yf036ybi5chg5wl5lwkijvj7n7c-rocq-9.1+rc1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"rocq-core_9_1","commit_hash":"8679b16e11becd487b45d568358ddf9d5640d860","date":"2025-07-31T04:07:16Z","outputs":[{"name":"out","path":"/nix/store/7vnykdxx8hidnavsas6lmkkhxxa04404-rocq-9.1+rc1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}