{"name":"cryptoverif","version":"2.05","summary":"Cryptographic protocol verifier in the computational model","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"517501bcf14ae6ec47efd6a17dda0ca8e6d866f9"},"attr_path":"cryptoverif"},"last_updated":"2023-09-27T18:02:17Z","outputs":[{"name":"out","path":"/nix/store/74kdfnszri08pqx3p3hhiazv301vq4ga-cryptoverif-2.05","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"517501bcf14ae6ec47efd6a17dda0ca8e6d866f9"},"attr_path":"cryptoverif"},"last_updated":"2023-09-27T18:02:17Z","outputs":[{"name":"out","path":"/nix/store/dsi74lr0bd9h2wxqzx0nk99wpaak43dm-cryptoverif-2.05","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"517501bcf14ae6ec47efd6a17dda0ca8e6d866f9"},"attr_path":"cryptoverif"},"last_updated":"2023-09-27T18:02:17Z","outputs":[{"name":"out","path":"/nix/store/893bznmq267f1lp8c3q7lkvzkhj6bmg4-cryptoverif-2.05","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"517501bcf14ae6ec47efd6a17dda0ca8e6d866f9"},"attr_path":"cryptoverif"},"last_updated":"2023-09-27T18:02:17Z","outputs":[{"name":"out","path":"/nix/store/dqh6xxxnggr9dn2icgwzlr35m0vgjha8-cryptoverif-2.05","default":true}]}}}