nixsearch
nixsearch / pkg / tamarin-prover / 1.10.0

tamarin-prover 1.10.0

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

Pin this version

$ devbox add tamarin-prover@1.10.0
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commitdc7513872406b53d2ff417a003895d6daffdff2f 
$ nix shell github:NixOS/nixpkgs/dc7513872406b53d2ff417a003895d6daffdff2f#tamarin-prover

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 tamarin-prover dc7513872406
out
/nix/store/lbjc46a4v8c7j10f6ix7fhs8f3q5an0w-tamarin-prover-1.10.0
aarch64-linux
Linux · arm64		 tamarin-prover dc7513872406
out
/nix/store/g3sncbi89kxrqj7v96ngx8xizqc1bcd3-tamarin-prover-1.10.0
x86_64-darwin
macOS · x86-64		 tamarin-prover dc7513872406
out
/nix/store/idscgshw10xm337109bk8ymrgjlh6a66-tamarin-prover-1.10.0
x86_64-linux
Linux · x86-64		 tamarin-prover dc7513872406
out
/nix/store/vb47izs6gz2zwzaycq197bn2llnwnwh9-tamarin-prover-1.10.0
← newer: 1.12.0 all 6 releases older: 1.8.0 →

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