nixsearch / pkg / coqPackages.ssprove / 0.2.0
coqPackages.ssprove 0.2.0
SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq
Linux and macOS
last changed
Pin this version
$ devbox add coqPackages.ssprove@0.2.0
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit51b45dc262830ab95c7b9b039bb4f911d4b2509b
$ nix shell github:NixOS/nixpkgs/51b45dc262830ab95c7b9b039bb4f911d4b2509b#coqPackages.ssprove
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
coqPackages.ssprove |
51b45dc26283 | out/nix/store/hmllpn96v5s52gq19xxfl7393iwhwnjk-coq8.19-ssprove-0.2.0 |
||
aarch64-linuxLinux · arm64 |
coqPackages.ssprove |
51b45dc26283 | out/nix/store/85g18ypwd28ih5vjgy5dxq3dmh4h7pjc-coq8.19-ssprove-0.2.0 |
||
x86_64-darwinmacOS · x86-64 |
coqPackages.ssprove |
51b45dc26283 | out/nix/store/kny723jxc3ay94z5l1v3lblqfafycj1y-coq8.19-ssprove-0.2.0 |
||
x86_64-linuxLinux · x86-64 |
coqPackages.ssprove |
51b45dc26283 | out/nix/store/5mlj4hipr4xsxjpni9r79c351ifj0772-coq8.19-ssprove-0.2.0 |
JSON: /v2/pkg?name=coqPackages.ssprove · /v2/resolve?name=coqPackages.ssprove&version=0.2.0