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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-58

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
744434

%ISIZE%
4424374

%SHA256SUM%
179e8a83647d369bb452339b63d0dd08f024e1a0960663f7b34548a8a08659c1

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo/+ScACgkQeGxj8zDXy5LlWw/9GtLeaG37777LJV83NC+DEcEuVfqZAMKNN/rHLPTgMN/m6YfU5oQNzvIzmE12amGYbT9dZ6vWgoXsqMOAEfDPAtdXifh4ol1tfU6mnEY6cPg5K/lVNBxetdjHOsIAUijJzpAhpCegQYkC5FE3xG6h+E1UzooGfCOWrziK/s4cEiIagbV9E7s+GpxUK7i6qHXkx4k2dVNQztMGsSLgn5b3ZeRsGg2ez66QOT7b1v1Qs7uVpGdJNPXdG/9z3vw4q9f7pSPLyPlDme7noJ+J/tsMUzBOAkg/ZjfN3DR1sWUPQgAo1ip+gzhJ+fbPavKkaJ8uZGDJ59k/whBRwAwZzWCoJm7oYk8aYI/bXNhTRfn927RR3KNsvVDM+Pj37SH+ec+2q2jYsxp5m6RYi1CGA7lCFIw1h3GHVuuLX24Ir7n7XQtVc+REIsvpgBAkX18SPD1cdGLu5CocyvtGrLQey63h2dEScWOlHTFrTSS8WvO9/1j5QgbowJbAuqvS8CptnyLA9+0+8aO+RqjH+mN0GpoiutlfGHYon1hNlSehXyhxpz05PoJo6A8xrxd0bu70ThboxVOPhSOEjIBiXl4KaxWqhhCIF8S3jsefAalyWcxaNAQz+woWwvwgnlDfgjaA/UW4188Ag7BYeCKc+RmnO3apGZRhhxhs2sKk64a2Pwa2rZM=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782577410

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

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

%MAKEDEPENDS%
ghc

