nixsearch
nixsearch / pkg / cryptoverif / 2.08pl1

cryptoverif 2.08pl1

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

Pin this version

$ devbox add cryptoverif@2.08pl1
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit3f316d2a50699a78afe5e77ca486ad553169061e 
$ nix shell github:NixOS/nixpkgs/3f316d2a50699a78afe5e77ca486ad553169061e#cryptoverif

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 cryptoverif 3f316d2a5069
out
/nix/store/ap3inapb9lqfzhs8pavjnkjy8rzy4zhd-cryptoverif-2.08pl1
aarch64-linux
Linux · arm64		 cryptoverif 3f316d2a5069
out
/nix/store/2jl3b8f03r7f8m81024d6cyz0l6bhfnj-cryptoverif-2.08pl1
x86_64-darwin
macOS · x86-64		 cryptoverif 3f316d2a5069
out
/nix/store/f3rvaz0lflln5j9928pkzlhcnlmkwxyv-cryptoverif-2.08pl1
x86_64-linux
Linux · x86-64		 cryptoverif 3f316d2a5069
out
/nix/store/dh4zvx3rbh0pk5dmagryn56q0gyf6rwk-cryptoverif-2.08pl1
← newer: 2.09 all 10 releases older: 2.07 →

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