nixsearch
nixsearch / pkg / rocq-core_9_1 / 9.1+rc1

rocq-core_9_1 9.1+rc1

Rocq Prover
Linux and macOS last changed

Pin this version

$ devbox add rocq-core_9_1@9.1+rc1
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit8679b16e11becd487b45d568358ddf9d5640d860 
$ nix shell github:NixOS/nixpkgs/8679b16e11becd487b45d568358ddf9d5640d860#rocq-core_9_1

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 rocq-core_9_1 8679b16e11be
out
/nix/store/9120k6rbgsnxmln5vnggrpynzjkrnzy2-rocq-9.1+rc1
aarch64-linux
Linux · arm64		 rocq-core_9_1 8679b16e11be
out
/nix/store/0r9xk1b1h0bw8xh8r54z00sq8ks3caiv-rocq-9.1+rc1
x86_64-darwin
macOS · x86-64		 rocq-core_9_1 8679b16e11be
out
/nix/store/04sm2yf036ybi5chg5wl5lwkijvj7n7c-rocq-9.1+rc1
x86_64-linux
Linux · x86-64		 rocq-core_9_1 8679b16e11be
out
/nix/store/7vnykdxx8hidnavsas6lmkkhxxa04404-rocq-9.1+rc1
← newer: 9.1.0 all 3 releases

JSON: /v2/pkg?name=rocq-core_9_1 · /v2/resolve?name=rocq-core_9_1&version=9.1%2Brc1