nixsearch / pkg / cryptoverif / 2.01pl1
cryptoverif 2.01pl1
Cryptographic protocol verifier in the computational model
Linux
last changed
Pin this version
$ devbox add cryptoverif@2.01pl1
$ nix shell github:NixOS/nixpkgs/83162ab3b97d0e13b08e28938133381a7515c1e3#cryptoverif
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
x86_64-linuxLinux · x86-64 |
cryptoverif |
83162ab3b97d |
JSON: /v2/pkg?name=cryptoverif · /v2/resolve?name=cryptoverif&version=2.01pl1