{"name":"cryptoverif","version":"2.11","summary":"Cryptographic protocol verifier in the computational model","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09"},"attr_path":"cryptoverif"},"last_updated":"2025-10-22T20:59:19Z","outputs":[{"name":"out","path":"/nix/store/6vwlq2rkx5sgpsjf3c57b7m6vfxy0lns-cryptoverif-2.11","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09"},"attr_path":"cryptoverif"},"last_updated":"2025-10-22T20:59:19Z","outputs":[{"name":"out","path":"/nix/store/m2401fyrryg6j3dmgj601c54x7925rkv-cryptoverif-2.11","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09"},"attr_path":"cryptoverif"},"last_updated":"2025-10-22T20:59:19Z","outputs":[{"name":"out","path":"/nix/store/5736p10bb28h8lfq15v3xhdfa73g0f9c-cryptoverif-2.11","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09"},"attr_path":"cryptoverif"},"last_updated":"2025-10-22T20:59:19Z","outputs":[{"name":"out","path":"/nix/store/r68x54lmy00mm58magwjyfn9gyhp16f9-cryptoverif-2.11","default":true}]}}}