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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-94

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
743090

%ISIZE%
4424807

%SHA256SUM%
b9ae132687ab03ff3af00c38ea7dd1ad52b4764aab63658c07e42dd864a9b838

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrZTnsACgkQeGxj8zDXy5L3yw/9GceZSA9ClDlO/su0jsfoj4icrCRxpTM55VtVsFJ2cgaOnPK3dT453qJrEAA2y+ywrO2b2uNU2BmEii48QoE5xswv0jC1HOXNaxc5Ei23th5sWxrBAfLOagoypq7x3udK168L/BPto9k9sCCBt0uSzSarblQo1B2IU7g1dhE8Jdpgt1yAOVayku8jdCVANwL4iAyIDlKzDrU8MOxEW2uavudx+T4Y7mNYbu+nOEO5tU2jvY7Xdyt2L7lJ/OJe3IQomSFS7dXC9rjGMeoKgDRAY93GpYVxWsTegB7v6x7iD9weyAvQ5Sdlpnlk/fgS122UCW8JxDQ+vdLBmJqmGpEp2yG2cbMYlkQL+MEcEufN3AsulECdDoGhFJ2aEYMikR//cEHMgy8e5iBGdAnHILx28LOUebJ7wNmb0hBGN9tV3HHoosmKuC4p/TMtqv7Q/h040ctPfea4K0ZeUoKmjc5kWupMH35ytacaTEHFGZybK9d3mdeKe0IuQMD9++mdk7OdmzIU8aVEkEeA+hfMsDBUt7g35maGkBjOEXL9HccYSoWJFPBnzQBIblPTYZC6lWQyFMWmghlBe9k+GX8Q+BQsxqtCmt32lphrpxhkTgw/kbnYdbc38QAGw/iuY1AYHB11jvjN2eWhxzYxzNzCxQPRwo7AZIGlhOSXNvOkIEECMKY=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792626270

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

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

%MAKEDEPENDS%
ghc

