%FILENAME%
haskell-tamarin-prover-theory-1.12.0-89-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-89

%DESC%
Security protocol types and constraint solver library for the tamarin prover

%CSIZE%
3037658

%ISIZE%
22810837

%SHA256SUM%
f98dbf460baabd04bd2643e8834277403060f077ed79262be04d7545c3312f1d

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrMpHQACgkQeGxj8zDXy5KWRw/+JQJXdVjq/CQc7XN9ZwY+dPrUX9PbFEvZtdO6uM7jBBcaE76qRWIax5ebUCHaqf6fMkuF59n26mHeiqkLcYXAWNOeKoKBPE5F9/nExQ2Bizvnyx7CBG4kvyh43N/sK9djZSV88ZDtm9RYrgWkBi7tgQ56rS2Af8GBmWfqO/q8GnCY7xt117sTsh5+2tAZByW40TLcIHmvtycnaFta5DKbAvvpnVQFuSLMx7hWAd0GjSFohFg74/BKGb+wDpYEtwn70z0au2uNUW0d37K0BDxKK2/cUbdb2OufBvqJKfLaifEuOarUKQ8nU57gsWWFD2lAtF+tjr5YoQa0nR+aJ/cN42ucEqSrX8QqYBtahg//b2bFeFmFmsO7PMmkSswUZHeJPDr+rGFsnHM5frgXSbWrGYpMd5GaLmoCgF1CeAfJnr69R7gtKxtIgbv8wxiEAUtjgyXsTss2XwkRWAO3FvvleSdaGZ83tG5GrfFlbyeYey1kA32F0AJYUI10pOlzBlaiDLpWxZeitFVR4ZfTCWZ9luzZ2xwCK1VhQ8Q5U4Q2LoLexofEk0KGLvZZ0OdSZyaJlfsn+xXPZMFaRg4YEA4rJrcXHQKZMrYsSmIQva1ZECjJ1Tw+MhIKzuQm2mD1LyqrSivYMXX0zbcR5gwLbogVqcvh6TvCqQ4lU67HEktqrec=

%URL%
http://www.infsec.ethz.ch/research/software/tamarin

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791796110

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
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

%MAKEDEPENDS%
ghc
uusi

