%FILENAME%
haskell-tamarin-prover-term-1.12.0-44-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-44

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
742820

%ISIZE%
4416347

%SHA256SUM%
a389a177dd5952a280a7607988016da1278bdc7635203fcaeba5824d32d22d72

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo1ib0ACgkQeGxj8zDXy5KY4hAAtqFI8YEReV+yWCL+Czmco8d+6L4N1vH27P5X5VOmr59BOUawiD4DQ6SgVk2IegagnFhqQSkSY8wV1x89T1drC618aiy92BMRw+tgDHq1Gku3+LVARs9eVr7Tt8g8BsLcPKb/qqvfOatRepwbhyg4omDer6yz+j4G9xyirOHEMYvNuU2wJo0QJ4AeyHmOq/Y1yWXvFI3ck7n1/577YIqYdmQCTmaxzoiR7lzNzHOa5SR0b2TLf5ZH0cNn1ixeWwKRDzgIplxjIBdY2AJxbSnZ+uisIGhE4xryBF/s+bKOPYj0sE3ODlCBFWgVM40hzAuu1XRLOV1oiX9DKLLdnWejf4bvookte5rLp3Vl8vvdXlpTTs2+/gJepl8+m4SSP45cIiuI+gJEijOJDl1Yx6FC5c8yutW6HUL8DBQCIEkvRTdrctQm8c0nT/HpABVoIE4fOO9pWZNS2lfsqmSHN4uesxWeD43iPlkscUSh3oZzEFLLfJpnse+UG/MXa1hNwmRi7BNFlLDTnczpHBQ23DmtZMYfjvqZw4XxPWmI+l3Jgxc1gQPHt6/JDlYOxbFmOG8Tp1rcgDqO3h8cQbZRk9bz4gdS88QSqmOwbLJKg0u91eTt85x+QyZDwORPOVJhH6rhskdgaksYGFAO0Ux+KwiwmeqjlP8AmiX+egXATRlM0b8=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1781893530

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

%DEPENDS%
ghc-libs
haskell-hunit
haskell-attoparsec
haskell-dlist
haskell-safe
haskell-tamarin-prover-utils

%MAKEDEPENDS%
ghc

