{"name":"rocq-core","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"],"releases":[{"version":"9.1.1","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"rocq-core","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","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","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/zcqnnf126nyk0vra06aljidd7ra6lg16-rocq-9.1.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"rocq-core","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.0.1","last_updated":"2026-03-21T07:29:51Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"rocq-core","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/vj600xhccs8n5iqzi63gsgd8v8jjz8wn-rocq-9.0.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"rocq-core","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/wqig5v9nv00wif0pwp3c8dglkyljmr57-rocq-9.0.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"rocq-core","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/53zpmq8h85cslyamvl5zkz6pijbwcv2z-rocq-9.0.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"rocq-core","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/s22pg56xbf9riwa6i1r0xizv8nkvrzsk-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-10-22T20:59:19Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"rocq-core","commit_hash":"01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09","date":"2025-10-22T20:59:19Z","outputs":[{"name":"out","path":"/nix/store/6md50cv1cq04i65al6x53kfbmv2mb06b-rocq-9.0.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"rocq-core","commit_hash":"01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09","date":"2025-10-22T20:59:19Z","outputs":[{"name":"out","path":"/nix/store/8acf5sh6dz2xw5hzxd7mh678w5a79745-rocq-9.0.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"rocq-core","commit_hash":"01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09","date":"2025-10-22T20:59:19Z","outputs":[{"name":"out","path":"/nix/store/ivsy979z9wibhfbv48pissikagz0zqy9-rocq-9.0.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"rocq-core","commit_hash":"01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09","date":"2025-10-22T20:59:19Z","outputs":[{"name":"out","path":"/nix/store/5139dnl85ndp5f0vgz2j3xvbrfa37cbr-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","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","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","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","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}]}