{"name":"cryptoverif","version":"2.10","summary":"Cryptographic protocol verifier in the computational model","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5ed627539ac84809c78b2dd6d26a5cebeb5ae269"},"attr_path":"cryptoverif"},"last_updated":"2024-09-10T15:01:03Z","outputs":[{"name":"out","path":"/nix/store/hcc04038rf8bky4g7br2z9zfiy7108jy-cryptoverif-2.10","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5ed627539ac84809c78b2dd6d26a5cebeb5ae269"},"attr_path":"cryptoverif"},"last_updated":"2024-09-10T15:01:03Z","outputs":[{"name":"out","path":"/nix/store/q0vmc88f2a5gg17v9acm9yzjngbfyxx8-cryptoverif-2.10","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5ed627539ac84809c78b2dd6d26a5cebeb5ae269"},"attr_path":"cryptoverif"},"last_updated":"2024-09-10T15:01:03Z","outputs":[{"name":"out","path":"/nix/store/z0q425byl8gmr1qdmpmz1z2y0agx7i88-cryptoverif-2.10","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5ed627539ac84809c78b2dd6d26a5cebeb5ae269"},"attr_path":"cryptoverif"},"last_updated":"2024-09-10T15:01:03Z","outputs":[{"name":"out","path":"/nix/store/n0jvw6ahjr3y13jqii040nwgqg0gjws6-cryptoverif-2.10","default":true}]}}}