nixsearch
nixsearch / pkg / cryptoverif / 2.11

cryptoverif 2.11

Cryptographic protocol verifier in the computational model
Linux and macOS last changed

Pin this version

$ devbox add cryptoverif@2.11
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09 
$ nix shell github:NixOS/nixpkgs/01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09#cryptoverif

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 cryptoverif 01b6809f7f9d
out
/nix/store/6vwlq2rkx5sgpsjf3c57b7m6vfxy0lns-cryptoverif-2.11
aarch64-linux
Linux · arm64		 cryptoverif 01b6809f7f9d
out
/nix/store/m2401fyrryg6j3dmgj601c54x7925rkv-cryptoverif-2.11
x86_64-darwin
macOS · x86-64		 cryptoverif 01b6809f7f9d
out
/nix/store/5736p10bb28h8lfq15v3xhdfa73g0f9c-cryptoverif-2.11
x86_64-linux
Linux · x86-64		 cryptoverif 01b6809f7f9d
out
/nix/store/r68x54lmy00mm58magwjyfn9gyhp16f9-cryptoverif-2.11
← newer: 2.12 all 10 releases older: 2.10 →

JSON: /v2/pkg?name=cryptoverif · /v2/resolve?name=cryptoverif&version=2.11