{"name":"cryptoverif","version":"2.03pl1","summary":"Cryptographic protocol verifier in the computational model","systems":{"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"62fab0d98ae9f62c41832ec2986bb7d8622786a0"},"attr_path":"cryptoverif"},"last_updated":"2020-12-13T12:06:53Z"}}}