{"name":"tamarin-prover","version":"1.8.0","summary":"Security protocol verification in the symbolic model","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4ae2e647537bcdbb82265469442713d066675275"},"attr_path":"tamarin-prover"},"last_updated":"2024-11-03T14:18:04Z","outputs":[{"name":"out","path":"/nix/store/hj7zdvldr0gnrd9ws2hiy28pg1snw3cp-tamarin-prover-1.8.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4ae2e647537bcdbb82265469442713d066675275"},"attr_path":"tamarin-prover"},"last_updated":"2024-11-03T14:18:04Z","outputs":[{"name":"out","path":"/nix/store/raxzwl0bviqgd0skrd2258sy20kcr6ha-tamarin-prover-1.8.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4ae2e647537bcdbb82265469442713d066675275"},"attr_path":"tamarin-prover"},"last_updated":"2024-11-03T14:18:04Z","outputs":[{"name":"out","path":"/nix/store/gfphilcgna6sja1szfcg9ajzj35bvbis-tamarin-prover-1.8.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4ae2e647537bcdbb82265469442713d066675275"},"attr_path":"tamarin-prover"},"last_updated":"2024-11-03T14:18:04Z","outputs":[{"name":"out","path":"/nix/store/q54kzlkxa7jnxm52wndn5v2ahh49gi2k-tamarin-prover-1.8.0","default":true}]}}}