%FILENAME%
haskell-tamarin-prover-term-1.6.0-81.1-pentium4.pkg.tar.zst

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.6.0-81.1

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
690800

%ISIZE%
3882943

%MD5SUM%
0558235e0d8dbe07be3766b79637f192

%SHA256SUM%
df63d5abb045061df1719adf227a4a2609572d5b5fe37258c0c65b3ce2df125e

%PGPSIG%
iQEzBAABCAAdFiEEFhlKgiMenvgjViGByOj1oK+bp+cFAmFA7JcACgkQyOj1oK+bp+f91gf+NMuo9J12KK6pjVX4Awy/dHXomMtIOgLmuWo5tU/1rOoa9LmRtKeFR1EF0YS9jegO9DEOk62XH98mjgpZ4yeOcUg6GayBVetiBeiYyLUSEZpKsFXY4+ANxYlE4p/FMS6fTWDKe5grUGoBxGoVA6ZVXVR3a5hYIihXo3TJXg8px539uDIQkpZ4j+pMApChMBBwM81ZOg1mpJlnUWjBfSuK2t3LloPw7/MKhKlMp5kWmmho5N56rJnfTKFYZEFmhYuVFLV1C/L9LI/UTKiDy38CLq4SDZCTeyXpxk8jxZ0cA+9TAailiyeav1XNYTqMy6daoqTrzInZubCG+I3y0KrYzw==

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

%LICENSE%
GPL

%ARCH%
pentium4

%BUILDDATE%
1631644763

%PACKAGER%
Andreas Baumann <mail@andreasbaumann.cc>

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

%MAKEDEPENDS%
ghc

