{"name":"rocq-core_9_1","version":"9.1+rc1","summary":"Rocq Prover","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8679b16e11becd487b45d568358ddf9d5640d860"},"attr_path":"rocq-core_9_1"},"last_updated":"2025-07-31T04:07:16Z","outputs":[{"name":"out","path":"/nix/store/9120k6rbgsnxmln5vnggrpynzjkrnzy2-rocq-9.1+rc1","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8679b16e11becd487b45d568358ddf9d5640d860"},"attr_path":"rocq-core_9_1"},"last_updated":"2025-07-31T04:07:16Z","outputs":[{"name":"out","path":"/nix/store/0r9xk1b1h0bw8xh8r54z00sq8ks3caiv-rocq-9.1+rc1","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8679b16e11becd487b45d568358ddf9d5640d860"},"attr_path":"rocq-core_9_1"},"last_updated":"2025-07-31T04:07:16Z","outputs":[{"name":"out","path":"/nix/store/04sm2yf036ybi5chg5wl5lwkijvj7n7c-rocq-9.1+rc1","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8679b16e11becd487b45d568358ddf9d5640d860"},"attr_path":"rocq-core_9_1"},"last_updated":"2025-07-31T04:07:16Z","outputs":[{"name":"out","path":"/nix/store/7vnykdxx8hidnavsas6lmkkhxxa04404-rocq-9.1+rc1","default":true}]}}}