nixsearch / pkg / cryptoverif / 2.09
cryptoverif 2.09
Cryptographic protocol verifier in the computational model
Linux and macOS
last changed
Pin this version
$ devbox add cryptoverif@2.09
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465
$ nix shell github:NixOS/nixpkgs/0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465#cryptoverif
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
cryptoverif |
0cb2fd7c59fe | out/nix/store/h5la3fv29s4yykr2xi1iyrmrcgwzw3i6-cryptoverif-2.09 |
||
aarch64-linuxLinux · arm64 |
cryptoverif |
0cb2fd7c59fe | out/nix/store/rff634x7fsh41fc1xvy3zjv9kl28d5q0-cryptoverif-2.09 |
||
x86_64-darwinmacOS · x86-64 |
cryptoverif |
0cb2fd7c59fe | out/nix/store/sk9wn4ddmxiwbk6lg41c80y9kcg9r1vn-cryptoverif-2.09 |
||
x86_64-linuxLinux · x86-64 |
cryptoverif |
0cb2fd7c59fe | out/nix/store/av2wijjgsphfcvmghlw5z9z5ljykypaf-cryptoverif-2.09 |
JSON: /v2/pkg?name=cryptoverif · /v2/resolve?name=cryptoverif&version=2.09