{"name":"tamarin-prover","version":"1.4.1","summary":"Security protocol verification in the symbolic model","systems":{"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"cfed29bfcb28259376713005d176a6f82951014a"},"attr_path":"tamarin-prover"},"last_updated":"2020-10-12T03:38:29Z"}}}