nixsearch / pkg / rocq-core_9_1 / 9.1.0
rocq-core_9_1 9.1.0
Rocq Prover
Linux and macOS
last changed
Pin this version
$ devbox add rocq-core_9_1@9.1.0
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commita1bab9e494f5f4939442a57a58d0449a109593fe
$ nix shell github:NixOS/nixpkgs/a1bab9e494f5f4939442a57a58d0449a109593fe#rocq-core_9_1
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
rocq-core_9_1 |
a1bab9e494f5 | out/nix/store/akh37vs0daxxm2w7yw3hdlwi1g7ish69-rocq-9.1.0 |
||
aarch64-linuxLinux · arm64 |
rocq-core_9_1 |
a1bab9e494f5 | out/nix/store/hk9as3vq0v5dxm9asg3slcyvdy1gdbwh-rocq-9.1.0 |
||
x86_64-darwinmacOS · x86-64 |
rocq-core_9_1 |
a1bab9e494f5 | out/nix/store/y7arsk5kv467yhrymai209jx5nrv8n92-rocq-9.1.0 |
||
x86_64-linuxLinux · x86-64 |
rocq-core_9_1 |
a1bab9e494f5 | out/nix/store/5dpdgnylzjyrh6ljnr5mlyynm3d1j7ya-rocq-9.1.0 |
JSON: /v2/pkg?name=rocq-core_9_1 · /v2/resolve?name=rocq-core_9_1&version=9.1.0