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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-41

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
744363

%ISIZE%
4428586

%SHA256SUM%
739f06a4e9cb2cdb6e1d3ea17db9b936582479b9b2bcbfe523c94ad61d2bdd33

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmozzvgACgkQeGxj8zDXy5J01BAAmzIhyi+66GLrpUl6iOmnmXYqmYlnmX//mXoRwX4p/dEpg8xv993a72i7CAwm08rEeyXhhRFgJDE2xVjtCrvdHitqdtheqTniWG7B8hmu+35Qa4i4kNbK66NJ94MXo+WabeKrnE+ppgraE45N5/r65xKSDE2Lo2el0FQD1gImorxUeHHEhvDgoCw60FJvGFLXN649hUFlvT8FrJk5u6ciTvLsUDZ6d+MuNI0lCFcVBwR0TFd+wyFmNF7eAVMhTAAICnkpIXBv3dPiHEL2oMzHEw+3XyqxsCGKF0R9XJhzI6ToG65DtKly319pIe1aH+7qrthA4vynZQVwBma+p4tmVIiCsYriNfu5F1ZcSYafGk7o6wfSPNb88GOSfQVgRRFN6kT+mtEvKwt5wtCtU2stzWX5HLeXFgvBYbhL6wWV6g7tNOzjPbHdXYEgb11RMhpGdvZJAXnhij+3iRx/zAO1fY20BQ50Kbi8X63Vl7isG7MjzMoNilEhOeVUcs8waDNOtjtlThq70bY5YSr7/fhhtZaOoJPQOuoTZvl0fOBM5nF825ab41DJGtJYirH57z99ESZbBWN1/NbU9X2CraYFD9aavKSwvj+2vbscBt1jBtKR/i8o2Po8r65L+fA1NrVpi/IFlTtfPHRG9toB57yIwJ1LwXVMyRmes0u52u2HfdA=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1781780182

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

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

%MAKEDEPENDS%
ghc

