tamarin-prover
Paket-Details
| Name | tamarin-prover |
|---|---|
| Version | 1.12.0-27 |
| Beschreibung | The Tamarin prover for security protocol analysis |
| URL | https://tamarin-prover.github.io |
| Lizenzen | GPL-3.0-only |
| Repositorium | extra |
| Architektur | x86_64 |
| Packer | Felix Yan |
| Erstellt am | 08.04.2026 |
| Quelltext | Quelldateien, Änderungshistorie |
| Bugs | Issue-Tracker |
| Paket | tamarin-prover-1.12.0-27-x86_64.pkg.tar.zst |
| PGP-Signatur | tamarin-prover-1.12.0-27-x86_64.pkg.tar.zst.sig |
| Paket-Größe | 1.1 MiB |
| Installations-Größe | 4.2 MiB |
| Beliebtheit |
Abhängigkeiten
Benötigt
ghc-libsgraphvizhaskell-binary-instanceshaskell-binary-orphanshaskell-blaze-htmlhaskell-cmdargshaskell-conduithaskell-file-embedhaskell-gitrevhaskell-http-typeshaskell-hunithaskell-lifted-basehaskell-resourcethaskell-safehaskell-shakespearehaskell-tamarin-prover-accountabilityhaskell-tamarin-prover-exporthaskell-tamarin-prover-sapichaskell-tamarin-prover-termhaskell-tamarin-prover-theoryhaskell-tamarin-prover-utilshaskell-threadshaskell-waihaskell-warphaskell-yesod-corehaskell-yesod-staticmaude