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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-34

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
744461

%ISIZE%
4424542

%SHA256SUM%
e1927303a9afd5523d3ab7871995ffbfaff4a5f0537b95daae63ba535a0ee0d0

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoEhmsACgkQeGxj8zDXy5IXYA/7BRtdT0b3HB2OHBA8b/Isf2e4qAnpg9ekXFKzvwlH9bjrNvn7BSkOi+f2kyp9KBBj2An8yTcxunXGMNQJ7kkw0cETslguXXdfqWHAb/cjNf3M9zIIortosgR2UDCeQ6yXqPnCciZstKO7ZMmdEEr7l7hqMUzfLxTELu71Xo4nVNx6HrG2Qhl36+LUkD0I6YPjStVaDWSBzYlJEQ/eLWuJJgiBw8ZzpYiA5wJiLWGes0IW7P6vT76ULtGUUQ/AyeTNugHJyMvBmz2a8tWwUGYDSfaEU3YuyOLfbwfjJ4YMlo6uMvy2cKcKCetVx8WT0eoTLJK/GzVKyB+Rhr2+RizR+aNpwn5NXADyK1mCetAo4JBULW/4VJ+l/+TmzeN9zIWqcr46LZ3yYE0NX4twdmNmj1nYkkdJK83za67KHQa1uy9+u4OvZWMcw4gvt+r+ZkzP5Lf7p2aHYJjZh74G4IR6q79b+vqVg/vIPE1RNp/OfP5saFvRYK8618tA6PasWUrE5tUGY8xuZcSGgKUsiuUWsLjMvTxI5Vf+4/M0Kvsm9TdY7nuKs3MjrLG4ZSDNLZ6gjsC4JBTx3rTUKF9MPEUt6WflwC8vXkRNJcAt4CtoxKkQ2BgG/jV1g2+hBrKdXXGFlJwqhq3d0+0+V0hZ8EQaf9k7aRfL0cqrrObvhZzvX2Y=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778681430

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

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

%MAKEDEPENDS%
ghc

