haskell-tamarin-prover-theory
Paket-Details
| Name | haskell-tamarin-prover-theory |
|---|---|
| Version | 1.12.0-20 |
| Beschreibung | Security protocol types and constraint solver library for the tamarin prover |
| URL | http://www.infsec.ethz.ch/research/software/tamarin |
| 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 | haskell-tamarin-prover-theory-1.12.0-20-x86_64.pkg.tar.zst |
| PGP-Signatur | haskell-tamarin-prover-theory-1.12.0-20-x86_64.pkg.tar.zst.sig |
| Paket-Größe | 2.9 MiB |
| Installations-Größe | 21.8 MiB |
| Beliebtheit |
Abhängigkeiten
Benötigt
ghc-libshaskell-aesonhaskell-aeson-prettyhaskell-attoparsechaskell-dlisthaskell-fclabelshaskell-parallelhaskell-regex-pcrehaskell-regex-posixhaskell-safehaskell-splithaskell-tamarin-prover-termhaskell-tamarin-prover-utilshaskell-uniplate