%FILENAME%
haskell-tamarin-prover-term-1.10.0-126-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.10.0-126

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
746001

%ISIZE%
4435868

%MD5SUM%
2d254242d01fd0d887310769b9214a2f

%SHA256SUM%
55754cb66b89bedfa4f323c58468f8d9888b25e982f8dd9afd0dee82a5819124

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjYNb8ACgkQeGxj8zDXy5JcBA//X2vRIIoBjJP3QdPFpMvQqflpT1tOsWcSltVomw3+8AWSgFNWIWwlTJMSO7aTChTo0gsNttSi00RT1xpGMazGZLdlcrsaCB1igYHXvx4wLPEwSAVLFA37N1uNU9KddS9ytzLTpxrLrv0GEJW6vONJViTyZFvfzoV4sR1TxyjQ+MYyFSvBwX8mwZFh9o2gt9jjDCVHL3OevAIpDHrRtdeV0Z00EXzLhwy9jgm1i2v7wcSjzPZ+Im/1oK5+AFqBkaX6fdCg9bWzGUiQoR+vtZj1JjVoggz7p6A400khea4J0FTBbrZjCmsJ4kfyLhjMgWUNk/BjUqzS6Cq2j+YipQRmwS2ehzxHtX+XaY/6KbXKeowGEI7BYm9wS3jFcnnRPXTYlfw/NK6mPm+9wNZChdz4u2UcLE3OKZkJxVRwRxvXh5EtwzDRRH9OKoGuMdxurGnPl4Zoiet9U2roB+wD+G5bN3pIPJ3RWl5b0ZEa8Jzg9iQsZylGam7b01t9dkFEZKbA2VIJGklEJezIQPly6Xjgg1+3e4P35kpW8EhpDbcQNbSy49kk9pnQuUG2NXcWxUYbNUfvaNAQZUU4Y8z+/t+8T2V8OdJDrattuYOHPPcnlVO6zoCTRyuZI33DINL0E1j8AyDOIMY/QTl/oVO2IK59fPryHHpcWKOShoH1Ese1ubw=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1758999957

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

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

%MAKEDEPENDS%
ghc

