Back to Search
Description
Homepage
Source Files
Split Packages
Base Package
License(s)
Build Date
Packager
Package Size
Installed Size
Download Mirror
SHA256 Sum
Dependencies
Optional Deps
Provides
Conflicts With
Replaces
Package Files
CachyOS | haskell-tamarin-prover-theory - extra (x86_64)
Back to Search
haskell-tamarin-prover-theory
Version 1.10.0-143 from extra (x86_64)
Description
Security protocol types and constraint solver library for the tamarin prover
Homepage
http://www.infsec.ethz.ch/research/software/tamarin
Source Files
View Source Files
License(s)
GPL
Build Date
11/1/2026, 14:20:44
Packager
Felix Yan <felixonmars@archlinux.org>
Package Size
2.86 MB
Installed Size
21.54 MB
Download Mirror
https://archlinux.cachyos.org/repo/extra/os/x86_64/haskell-tamarin-prover-theory-1.10.0-143-x86_64.pkg.tar.zst
SHA256 Sum
345bf12506a5b3c35c01a5c4809f8f8955c5ff35d746894ca1538aa708f3531b
Dependencies
ghc-libs
haskell-aeson
haskell-aeson-pretty
haskell-attoparsec
haskell-dlist
haskell-fclabels
haskell-parallel
haskell-regex-pcre
haskell-regex-posix
haskell-safe
haskell-split
haskell-uniplate
haskell-tamarin-prover-utils
haskell-tamarin-prover-term
Optional Deps
N/A
Provides
N/A
Conflicts With
N/A
Replaces
N/A
Package Files
View package files on Arch Linux website