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