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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-67

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

%CSIZE%
3037322

%ISIZE%
22810550

%SHA256SUM%
d7c8adeb23b096fb4e4a6115b993f74c4cafc520572fb9ec8359e4863cbadeea

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqTNJUACgkQeGxj8zDXy5J+ZA/+JV54b2WMhfs7TSZ1uGHfzvRSO+q0WEbvi1pjzifcjyubMeMLYt2vTu1N06VphZmUIaVj7v+7fT3O44IcjwIsQz7cG8GcAj6wvm4A2klu2uQqzEfYUXYpH6QvHe87yPH7BjZf2c3YhBv4yOvTEKmlAt0/2CRFZCmw/3JYjotyI+6JyXsidL2i4FPcMcGJrAbPteKlO/vHnkKV4CKD1F/6kcMhJ7KIKzCixoiVp3WK36MPVYtafmnUfQeHECpudTbCTlHAh4Z/eT3MFIGPnXsqw5wE0YgTD+jIWlUpux36M456DxBo/IdrkJuZ9WDVPTWrfD/i9JufGKOVGWglTbaycQEV7X/IeG4gDjZHA44QLNU+Vz70TRZ/n3Si4xFPP++upUzKSCE06PkxDYup1/9BNey5nFJbIpz3P4JWJD5G7WM7Umqi/B+e/7XiZ1UxyrD1sa8+faEfLUGWai+cm00+bhkENyfFANyxDwTu8teSI+dEekKRQivZPfKlcXr8dsfPucZuPRGatZ+exWirMYhWxbqEoAp4uwUlRkINeFCwi4SiMv1yjge8hqM5BsOyav4ZF22LuB9WQmeNPaZCe/6BXpi4Fk/SUADG7lp/kr384fLbLwg3tr9G5lgym1HXcNiM7dKIzLRz+yupHCYCvCvr9xzhqQ1HIQUkkM3hRhvv3hE=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1788032085

%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

