nixsearch
nixsearch / pkg / tamarin-prover / 1.12.0

tamarin-prover 1.12.0

Security protocol verification in the symbolic model
Linux and macOS last changed

Pin this version

$ devbox add tamarin-prover@1.12.0
systemsaarch64-darwin, aarch64-linux, x86_64-linux commite2ccecbf30866802b1db536246e0939eccbd7bfb 
$ nix shell github:NixOS/nixpkgs/e2ccecbf30866802b1db536246e0939eccbd7bfb#tamarin-prover
systemsx86_64-darwin commit3d46470bb3030020f7e1361f33514854f5bfa86d 
$ nix shell github:NixOS/nixpkgs/3d46470bb3030020f7e1361f33514854f5bfa86d#tamarin-prover

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 tamarin-prover e2ccecbf3086
out
/nix/store/s5kblqr1567gj1ab9i29k3nqm8ma1iyq-tamarin-prover-1.12.0
aarch64-linux
Linux · arm64		 tamarin-prover e2ccecbf3086
out
/nix/store/ssi6fk9iiwzwwsc5hm2an1lch398q64s-tamarin-prover-1.12.0
x86_64-darwin
macOS · x86-64		 tamarin-prover 3d46470bb303
out
/nix/store/f248byhsm4kgsxxfprczjfw8fnaknylr-tamarin-prover-1.12.0
x86_64-linux
Linux · x86-64		 tamarin-prover e2ccecbf3086
out
/nix/store/5km9r8di7m8zwk01x9qndh7bznq3w56y-tamarin-prover-1.12.0
all 6 releases older: 1.10.0 →

JSON: /v2/pkg?name=tamarin-prover · /v2/resolve?name=tamarin-prover&version=1.12.0