nixsearch
nixsearch / pkg / tamarin-prover / 1.6.1

tamarin-prover 1.6.1

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

Pin this version

$ devbox add tamarin-prover@1.6.1
systemsaarch64-darwin, x86_64-darwin commit7d0ed7f2e5aea07ab22ccb338d27fbe347ed2f11 
$ nix shell github:NixOS/nixpkgs/7d0ed7f2e5aea07ab22ccb338d27fbe347ed2f11#tamarin-prover
systemsaarch64-linux, x86_64-linux commita63a64b593dcf2fe05f7c5d666eb395950f36bc9 
$ nix shell github:NixOS/nixpkgs/a63a64b593dcf2fe05f7c5d666eb395950f36bc9#tamarin-prover

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 tamarin-prover 7d0ed7f2e5ae
aarch64-linux
Linux · arm64		 tamarin-prover a63a64b593dc
out
/nix/store/7mwdacgbd951c6nwxpw3bpr3rnpscqsx-tamarin-prover-1.6.1
x86_64-darwin
macOS · x86-64		 tamarin-prover 7d0ed7f2e5ae
x86_64-linux
Linux · x86-64		 tamarin-prover a63a64b593dc
out
/nix/store/6pi7bcrc0ns1q9gq90m2gnws7gn2y2wh-tamarin-prover-1.6.1
← newer: 1.8.0 all 6 releases older: 1.6.0 →

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