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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-65

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

%CSIZE%
3035884

%ISIZE%
22831005

%SHA256SUM%
e910a63139eab21f443649c92eb3b92a056943bebb8d0d875657181fe50caca1

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqSj/8ACgkQeGxj8zDXy5IwNw/+MJKb8TdOfJfsflOn7ynobxgngHh6kuxz16xzMem+sqA45+hK0TRp9TcDtBcG6CQ40irYIQGIiLv/G40/9NHT2zXAz2giY3ecXFIsW3+ElUAjvCnSNdI30CY4H8wvGXdLUjBB+PptdIFGuXmB+mNbbWCBIpGfZ6ST1+zu5wxfW3H2HrFCSOq5rKxbARiDoFFMbMxcl+l1BfueaS0t3OFj8e3jurWstOT4wi32wMTi9ERMZrhJyvMEjeKzxG/0ORamhuc4mA6PnojpQ51nQ6K5rhmLlwzCALMA28Hp96m+KbaRU6WX1nSMueRYNWTPCodyrghs3OUI/chZv/VsQIePa9lRqgvrWhcJThP+mez3kiDGxklQ1baw6WukLgU55qx75WQpJwSX0RPlJvFunigtLIrPpiVKTNQfh8R0WHsigD8erJ4R3bqTgYweqW/HwusPlSQiE9x/j9VIWcfWpY+r5/PL6bk5LRV+GDRelNQeCK5kCITLvEeu9854swBuF8J+naqM1+Es6IyMeGK/LNsmTHFQXMZKfm4SVVTQR32GX+pEIBAthyJTqAZoAfBONGR+ED3ik3wHGGV4j4U6FCAJXHFev/c86QFHhqxtTHaNbmm9DjsFm+nnOncA74LTqIPuMi2gDn+O1sbFXeqG8k4/Bk1nBPNVP6PBWcsaL6A1cFs=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1787989759

%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

