{"name":"rocqPackages.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":["rocqPackages.rocq-core"],"releases":[{"version":"9.0.0","last_updated":"2025-07-31T04:07:16Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"rocqPackages.rocq-core","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":"rocqPackages.rocq-core","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":"rocqPackages.rocq-core","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":"rocqPackages.rocq-core","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":"rocqPackages.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":"rocqPackages.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":"rocqPackages.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":"rocqPackages.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}]}