%FILENAME%
haskell-tamarin-prover-term-1.6.0-81.1-i686.pkg.tar.zst

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.6.0-81.1

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
690677

%ISIZE%
3883198

%MD5SUM%
999d7b233811ff0fff65f4aee4f7d5ef

%SHA256SUM%
26b92f93f762c0b4a13e6c170ef90bebceeae4078ec38618b57dd969a6474cdd

%PGPSIG%
iQEzBAABCAAdFiEEFhlKgiMenvgjViGByOj1oK+bp+cFAmFA6wYACgkQyOj1oK+bp+efQQf/Rmz5NX5RjTAo/KLhz0OQwrAvHWp3LszaKaWe/HkXaerQNAwRKiPRxbYfWLwulgusTGV4PKXdohVuJ3aWKDmeoQtOukvLenPKucjFY4ZXl1h07IwdrAvngQdyup7EioR+SEfypVPjn6H0EWrAK1FXSP+HsApMBaRrbJkw4/RUocYSb9O239syJZHycUK3pLUliA4qWE8QRoSK1N7Gfa6Lw2rz+Ue+VgUGVSP7fF+SM66gnJML/PPKumd04ygvSW7yUw/9XDoZNBjX/pJFmo7V0qQ0BOZO+X17cacfLSPjGuLKv+L+ywcsh8XFWTLpWY+6CUCRXMtGQi8euB5/gDmgVQ==

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

%LICENSE%
GPL

%ARCH%
i686

%BUILDDATE%
1631644372

%PACKAGER%
Andreas Baumann <mail@andreasbaumann.cc>

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

%MAKEDEPENDS%
ghc

