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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.10.0-59

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
745557

%ISIZE%
4419302

%SHA256SUM%
da1770c154df41f8f0be435a8cf2fb637b1895875003bef397ddf6c15cf42ccf

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmiKkWcACgkQrx0hme8KPM8TsRAAjoGIndQzp6mr5pxi3nffvaBGgL6TRj1IvhzxiRcZe/M30XsEENlhiqWffARyDBSoOcV9OmzsF1bb1zKERtRKc+tnqPoOAF1Nt5YB+eObFchX9IHU/atXWg2DLrhhh80RDwUmO+dlZTXP8tauFqeto5CyolLNS6/k72jONRZe9KfvI4If/pl9H3HZQ1rtgOOZts0BsNa4oNyLxJ/3NP5DRkMY8h3rxBKXPqRhVpsbPsvaeVG/ZOIRsj4PajTazy8eYuUoAv6wOB2sqiEnSFfb+T7WOZ2UTxJJd9L8VoKMOKSJCkbZwLq5LBOr/74N/4mPlfvdFJXjb6OX+c4GiF2w7so1CTDuSPoiWu3Q35qxvZgehzAy3SIeXDKWV7NNxEMlkxvjh/LSUIWSOGopMuJD1KwGXg2PEmZhy06fx85wHLCQ6tKPWIMun95No8IBDykgQDnFGcxYuYCTsQOnoegzr6mb0zzYfHrRDsUujMiU9mBpDftMQTQPxeHlvZUiFQJLdzz1gte9x0zI4plBXJiIrQ/eNbYoSmbzvxztSEy+C1eeylO/qwjR6SjFDF0C8dj/CE3jL0mOWEW5O863beE7TBZpOWDiMRFlHDb6wTot3RRpbBEvMq+2VvtadqDalEQy8zM8Nf3joz9UAByGORukUXroTxGsb9/zz650iuETE18=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1753723856

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

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

%MAKEDEPENDS%
ghc

