{"name":"tamarin-prover","version":"1.10.0","summary":"Security protocol verification in the symbolic model","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"dc7513872406b53d2ff417a003895d6daffdff2f"},"attr_path":"tamarin-prover"},"last_updated":"2026-03-02T11:03:52Z","outputs":[{"name":"out","path":"/nix/store/lbjc46a4v8c7j10f6ix7fhs8f3q5an0w-tamarin-prover-1.10.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"dc7513872406b53d2ff417a003895d6daffdff2f"},"attr_path":"tamarin-prover"},"last_updated":"2026-03-02T11:03:52Z","outputs":[{"name":"out","path":"/nix/store/g3sncbi89kxrqj7v96ngx8xizqc1bcd3-tamarin-prover-1.10.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"dc7513872406b53d2ff417a003895d6daffdff2f"},"attr_path":"tamarin-prover"},"last_updated":"2026-03-02T11:03:52Z","outputs":[{"name":"out","path":"/nix/store/idscgshw10xm337109bk8ymrgjlh6a66-tamarin-prover-1.10.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"dc7513872406b53d2ff417a003895d6daffdff2f"},"attr_path":"tamarin-prover"},"last_updated":"2026-03-02T11:03:52Z","outputs":[{"name":"out","path":"/nix/store/vb47izs6gz2zwzaycq197bn2llnwnwh9-tamarin-prover-1.10.0","default":true}]}}}