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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-71

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
744607

%ISIZE%
4424578

%SHA256SUM%
f4d2d651caea2cb065af474fd78778d30f1145de2cdf6a65f4dd45987bb19ba5

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqp8X0ACgkQeGxj8zDXy5L0oBAAi3qQarvaC7Fz6yAXdLYJuM7NldRGP/VPuS7M2Ocmf5phhtIYuOM1N6JHX3jZBhAR5Ki5bnr2iHkZxb8RS4gSVzJ2H+ejdubzqNiDT+KsUR/6FqN1sbtkgl04OOupuJSdo43yhNIYk4SYT4yxX2QbE/VabYcZxOZ/W8RJ8ywA7gpex+O0pCeX4NeEb46VlbKCOzJ1obl1kgqjH50k0j+78e0vgRU5qrsMhfMOthuhzceNTJQzrTFd+bH9WwEuoAV46bSC0OwdjjIjQ8QTsYsEo2BGD+gwGQsNdRTqinU0EcVcynD7Y658x5B/OvcU/PJ96W5ts+ne687KM6J1TGGATAyPx03I6B9R39V3AGMBqZvVOpABVsb+sVbtItkRoO87sKzWcgli+ye1w29DCw6kcyFnh8403jTw0dbI1oKpnsQTh+kRTR4dA957VhT5/cN70eRT4XhwzdA6IRKuvHiuXPVsrt0aiWAGQc2kAvvnb4HdNNrqsiLJXb9IXQIjk3vDsSPviJtQePIbBb5RIF7sO9SAcvPK3YqLq9CBAxGEf1xvFw3GeKbUfmGGXP+V3YgUXWqbyANIKLwVC369EcE65qKzg2H0IpCTWrATFVSctmzqVrRK25HQoRlrA+T/Yau+ltCQHoBj6YBMJBsF7hYekkHCvBCF3rfHEHIEDCJocEc=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1789522271

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

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

%MAKEDEPENDS%
ghc

