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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-96

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
744661

%ISIZE%
4424549

%SHA256SUM%
f7a26707c498e71090f16e9d18e181e40152cdc9e74a7795b8b335e8ff8c0429

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrbQ4cACgkQeGxj8zDXy5L0jxAAt1YcbZjK3wlnJPrr6pPHW0NYOopkbJZEx9sB0bounYCfUo22/L5KV40Z2yxum4AVNhtUqIhFJiG2Dl31IVoCB2gcfG7Uu2kTHrY6Irpry+g20ZyUfjVB3TZdIfF68iz/vAlKkAmDfzemLXtzSe3nf7cQZRr4WYBoNCIV4BlZUE3wLOWk3oN8Ljh4RxHwR9ICQeQ5xjBbkoFVvkKMu/vENJsc28FRkV3eVgn35JtKbnhiTR+6VXuGppxfjbUXLLM1F7zXW6n7ZUzIXhE7x2p650n6vwIz0ALoeq9nLmXJ3nj4WeBe6CV/wfosGAB2gTvXf8a57pnyTz43ALL4I4fxSqYHSwZfOwrYJIBhmaMU3NCLjTykdzOvgTOOLrzCIZkkZMB998omWQHpIamp/QyDDU+ckJuR6u5v2m9aoxfdEAqcvGaajZzKK9AdLpR8n/ne1NG4j2dwg0HijLTsJ3Nz0HQvE7ZHcfP5MnF3yZbNLJF3AOSDrdyRZJrwuE5CYnAQL2IqDTRAu9b3zQpZ2XSKzX0iKIGHTE+x289XVVYKxJT11xLtR4w/zoDd2h0YILTAuPtjcxXwqxN0RMVqNoIiIlACjPeO9M2mEXOWSyWKypB2MEYnIE/a0uP0q/T9NqRKW2dZThWM+gHlfF5N+wESAqDo6IlGhi0wcAEx6iqSOMU=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792754458

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

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

%MAKEDEPENDS%
ghc

