{"name":"cryptoverif","version":"2.09","summary":"Cryptographic protocol verifier in the computational model","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465"},"attr_path":"cryptoverif"},"last_updated":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/h5la3fv29s4yykr2xi1iyrmrcgwzw3i6-cryptoverif-2.09","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465"},"attr_path":"cryptoverif"},"last_updated":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/rff634x7fsh41fc1xvy3zjv9kl28d5q0-cryptoverif-2.09","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465"},"attr_path":"cryptoverif"},"last_updated":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/sk9wn4ddmxiwbk6lg41c80y9kcg9r1vn-cryptoverif-2.09","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465"},"attr_path":"cryptoverif"},"last_updated":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/av2wijjgsphfcvmghlw5z9z5ljykypaf-cryptoverif-2.09","default":true}]}}}