{"name":"tamarin-prover","summary":"Security protocol verification in the symbolic model","description":"","homepage_url":"https://tamarin-prover.github.io","license":"GPL-3.0","attribute_paths":["tamarin-prover"],"releases":[{"version":"1.12.0","last_updated":"2026-10-06T17:11:02Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"tamarin-prover","commit_hash":"e2ccecbf30866802b1db536246e0939eccbd7bfb","date":"2026-10-06T17:11:02Z","outputs":[{"name":"out","path":"/nix/store/s5kblqr1567gj1ab9i29k3nqm8ma1iyq-tamarin-prover-1.12.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"tamarin-prover","commit_hash":"e2ccecbf30866802b1db536246e0939eccbd7bfb","date":"2026-10-06T17:11:02Z","outputs":[{"name":"out","path":"/nix/store/ssi6fk9iiwzwwsc5hm2an1lch398q64s-tamarin-prover-1.12.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"tamarin-prover","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/f248byhsm4kgsxxfprczjfw8fnaknylr-tamarin-prover-1.12.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"tamarin-prover","commit_hash":"e2ccecbf30866802b1db536246e0939eccbd7bfb","date":"2026-10-06T17:11:02Z","outputs":[{"name":"out","path":"/nix/store/5km9r8di7m8zwk01x9qndh7bznq3w56y-tamarin-prover-1.12.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.10.0","last_updated":"2026-03-02T11:03:52Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"tamarin-prover","commit_hash":"dc7513872406b53d2ff417a003895d6daffdff2f","date":"2026-03-02T11:03:52Z","outputs":[{"name":"out","path":"/nix/store/lbjc46a4v8c7j10f6ix7fhs8f3q5an0w-tamarin-prover-1.10.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"tamarin-prover","commit_hash":"dc7513872406b53d2ff417a003895d6daffdff2f","date":"2026-03-02T11:03:52Z","outputs":[{"name":"out","path":"/nix/store/g3sncbi89kxrqj7v96ngx8xizqc1bcd3-tamarin-prover-1.10.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"tamarin-prover","commit_hash":"dc7513872406b53d2ff417a003895d6daffdff2f","date":"2026-03-02T11:03:52Z","outputs":[{"name":"out","path":"/nix/store/idscgshw10xm337109bk8ymrgjlh6a66-tamarin-prover-1.10.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"tamarin-prover","commit_hash":"dc7513872406b53d2ff417a003895d6daffdff2f","date":"2026-03-02T11:03:52Z","outputs":[{"name":"out","path":"/nix/store/vb47izs6gz2zwzaycq197bn2llnwnwh9-tamarin-prover-1.10.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.8.0","last_updated":"2024-11-03T14:18:04Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"tamarin-prover","commit_hash":"4ae2e647537bcdbb82265469442713d066675275","date":"2024-11-03T14:18:04Z","outputs":[{"name":"out","path":"/nix/store/hj7zdvldr0gnrd9ws2hiy28pg1snw3cp-tamarin-prover-1.8.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"tamarin-prover","commit_hash":"4ae2e647537bcdbb82265469442713d066675275","date":"2024-11-03T14:18:04Z","outputs":[{"name":"out","path":"/nix/store/raxzwl0bviqgd0skrd2258sy20kcr6ha-tamarin-prover-1.8.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"tamarin-prover","commit_hash":"4ae2e647537bcdbb82265469442713d066675275","date":"2024-11-03T14:18:04Z","outputs":[{"name":"out","path":"/nix/store/gfphilcgna6sja1szfcg9ajzj35bvbis-tamarin-prover-1.8.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"tamarin-prover","commit_hash":"4ae2e647537bcdbb82265469442713d066675275","date":"2024-11-03T14:18:04Z","outputs":[{"name":"out","path":"/nix/store/q54kzlkxa7jnxm52wndn5v2ahh49gi2k-tamarin-prover-1.8.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.6.1","last_updated":"2023-08-30T00:25:28Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"tamarin-prover","commit_hash":"7d0ed7f2e5aea07ab22ccb338d27fbe347ed2f11","date":"2023-02-24T09:01:09Z","outputs":[],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"tamarin-prover","commit_hash":"a63a64b593dcf2fe05f7c5d666eb395950f36bc9","date":"2023-08-30T00:25:28Z","outputs":[{"name":"out","path":"/nix/store/7mwdacgbd951c6nwxpw3bpr3rnpscqsx-tamarin-prover-1.6.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"tamarin-prover","commit_hash":"7d0ed7f2e5aea07ab22ccb338d27fbe347ed2f11","date":"2023-02-24T09:01:09Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"tamarin-prover","commit_hash":"a63a64b593dcf2fe05f7c5d666eb395950f36bc9","date":"2023-08-30T00:25:28Z","outputs":[{"name":"out","path":"/nix/store/6pi7bcrc0ns1q9gq90m2gnws7gn2y2wh-tamarin-prover-1.6.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.6.0","last_updated":"2021-10-22T02:15:45Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"tamarin-prover","commit_hash":"718895c14907b60069520b6394b4dbb6e3aa9c33","date":"2021-10-22T02:15:45Z","outputs":[],"broken":true,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"tamarin-prover","commit_hash":"718895c14907b60069520b6394b4dbb6e3aa9c33","date":"2021-10-22T02:15:45Z","outputs":[],"broken":true,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"tamarin-prover","commit_hash":"718895c14907b60069520b6394b4dbb6e3aa9c33","date":"2021-10-22T02:15:45Z","outputs":[],"broken":true,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":true,"insecure":false},{"version":"1.4.1","last_updated":"2020-10-12T03:38:29Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"tamarin-prover","commit_hash":"cfed29bfcb28259376713005d176a6f82951014a","date":"2020-10-12T03:38:29Z","outputs":[],"broken":true,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":true,"insecure":false}]}