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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-59

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
742574

%ISIZE%
4424382

%SHA256SUM%
c73c0c021619e2172a1a7c54d5b563339bae372b2958641375267257e9e61fb0

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmpCsPcACgkQeGxj8zDXy5K6phAAryFeEuDY7EXGyzMvOLAzfpuE/4EeEs9nBp+KdlXBQVv26lx/bnHNYFugc25HnI6ZB+CwpLyWEuSa5Eo1pZXBq9gbc+RSYL9Z8iujK4eD64/3ZvazzHWMJYQY2SN8APWptzPV259LuJgZN1HTnExwWvcrkiLcg+APXXbaVWAbTM+F1Z70cee/yaeLcb2XeFm86DLz8spePwyzyC1nfGB7VwwdTYEHDB5aJ8blq7flvau9LmqTEFslRnTjRg0RAqDjohLKe244XCRzh/9oP6SdgNmHJcehqLPLQ1Pa4PkWq27E02ES4sei/504KCaXcmw18PV64YafM7sN55PVpjHYC7jegOAY0wrpmkeQUz/cY2wlre2cVkgMIsOf+l/NnvFObLn3Vnt/0iI1Hm2IljU6S6w1bY7owASuAuW8TwDVlRf85tmygO4+ky/pBD4LIw3FMNCQg0aGyQtSW24n8L3xue6YmdgYd4dGcrlGT6hmyqeotQQ9iJdSIh+oat4ZUd0NECXaS3nbb+qLCLnaWK5xKFUE5CNxbVaRrHsZdCcMLUFlofYZjR2DDP/o+kUau3O1LVemlnrdZDPe0Zk9BwXj0d6efSKuDZWOTTdLpF0lh0tps1KbbMutVLIzZ+kjTLTFNlXG2gAom6MAwWfy+JNN63yr4jKIoFjnU4kTWk+OyRY=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782755556

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

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

%MAKEDEPENDS%
ghc

