{"name":"cryptoverif","version":"2.08pl1","summary":"Cryptographic protocol verifier in the computational model","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3f316d2a50699a78afe5e77ca486ad553169061e"},"attr_path":"cryptoverif"},"last_updated":"2024-05-22T06:18:38Z","outputs":[{"name":"out","path":"/nix/store/ap3inapb9lqfzhs8pavjnkjy8rzy4zhd-cryptoverif-2.08pl1","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3f316d2a50699a78afe5e77ca486ad553169061e"},"attr_path":"cryptoverif"},"last_updated":"2024-05-22T06:18:38Z","outputs":[{"name":"out","path":"/nix/store/2jl3b8f03r7f8m81024d6cyz0l6bhfnj-cryptoverif-2.08pl1","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3f316d2a50699a78afe5e77ca486ad553169061e"},"attr_path":"cryptoverif"},"last_updated":"2024-05-22T06:18:38Z","outputs":[{"name":"out","path":"/nix/store/f3rvaz0lflln5j9928pkzlhcnlmkwxyv-cryptoverif-2.08pl1","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3f316d2a50699a78afe5e77ca486ad553169061e"},"attr_path":"cryptoverif"},"last_updated":"2024-05-22T06:18:38Z","outputs":[{"name":"out","path":"/nix/store/dh4zvx3rbh0pk5dmagryn56q0gyf6rwk-cryptoverif-2.08pl1","default":true}]}}}