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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-86

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

%CSIZE%
3038226

%ISIZE%
22810650

%SHA256SUM%
192fda8574acee3393344a0d05d3d578ed0bf7cb1f929da1fe828f99f787c8a0

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrHaFkACgkQeGxj8zDXy5K6JRAAg+Uungq6WuQvHF5+3D+PuH794Xq5EoSLsQzOAZ8wtG6H7PALjnhszM6+8476kpTyOBoU8Lt7E995Kd75I7OB09fRfPOuiJmDgmuaQhwlq2I4ajdvRNHD+ugidnvXJdTJQZqozEACgiRbFOxwYd2kHseuGifW/IfNhAkGW3bfbRcbxNAr7aMIEt03LTj+Q91M5krc2zDkE6T54P8ZTECT9HQGY6WPMRKC8o32hc87b7NqByzSqYzRQ8621Mn9dygncg/vpbWJGjDKCjHYCRgNDa2FI5RSpYlh5IwHHWlB5p1qiDs2yTXz7ZRSfIA6gerhqItXQGifgEX57PqgciStM47YoMdtZWte1zUd7aW4EIIiZMn5e4lmVWynBkLsnt/jTSIXVjjvCmXUEJDtdEeun4t9FPd8wEEvglxRTZbolxx1Ivzgc05xTNQ0C633Gz/D0OOLIxi7bApSLq+QBqGoUks3HkXYBFgNY3eXXX5FXG51ceAjS5xLHE+B2y2X8RVPdUSaVx6N1hncnN2c/o67HqVu0wrlQ30UYcg/JI63gxPnNtOBUIuL+bv8dAiEYbDPwyBEbb0wuhSGYSe/Qx/0pcWSKpOEopdSYO7VNK/FFbknG+qTCQvWhjEsBAMNQ0wX1kUywE+CFzXttpSvs+T+E80+07Ji5O0mP1r37ujLwCs=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791453160

%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

