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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-80

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

%CSIZE%
3035709

%ISIZE%
22830449

%SHA256SUM%
8c13bc9f8f7f48c745982c1d08fbd200687b3b98c55ee047b5173641446861f2

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrBY8MACgkQeGxj8zDXy5LcvA/9EctYGP7/UraNhssQ0GvGO2ERuvBw2EcLJ4AVjMKdELzr4fEiiSPKKd6gxvnIcH7ev8dxh7IPVSn8g6+O3oGSvi/7FkOamvfkOHukwCV6z48A2rRfc6WPeNohS8V2CM96tFkvJ4OLnvkCSFHzPk/2+lTQnK4xa8YXs48FinTlMz1EyKBUlmAVUQMoGvn0/TGd8jvE6HgfIzqzU+Gpjh088NxIjhaSS41D9lhLX0gvC/imJr9zvh+tigEj+r4GUaIgzwYcxrLuTcstJYU0rcrFhe3uVMlPfgP0Wu62KKFbcUUSX92Dae9fMetnsLTemb2VTKmwL3iD+MlfTqCAdvw26w15BAX7vDrAXOFlr6dgeVDTwzk6elqMHZeXISCKWdPrk1oUkVvHVryy+E5K4IjTxspxElzpESsec1+BZc6fb9FZkYumeDDtNikHoBJ+BxJp+B2Z29uuR9XBJyNyQxXKCaTmK/+e7GoIYxu6rxjflbMKovT4mEA0V14S2gX65Ar6Zg7gg30mqUF/BUqgdIFNCZCUUa64Xk7ZyZlgv+YejxQvUXWqinLYqfFrLMR4zowNKpzWKns6cluFHHUAKXHVFY0x++QK5dsfwHgeRVZiBW00XkbMmVHfNEYLYsnzNv2nIsoEv+OK9ZED9uewS9XMlNGyurINbPUdScBnPWDERCE=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791058818

%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

