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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.10.0-107

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
746952

%ISIZE%
4419403

%MD5SUM%
611358b895c471668c70889ce71a2b39

%SHA256SUM%
9fd7ce768fa89d2450e4421718e725f87c0af2b8c20a21025026b237784774bc

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjBygQACgkQeGxj8zDXy5Lj1xAAkXp98e7NwIIOuOyHO/p0AXdf3w+llXaoue+t+UP4lUXHc5z2OSBRI48sSo90r2QzadOK5S5JIKgo7gQn39il+FWjpPKAgMOl91PQ9IC0JbzXfohZMXN2XTf7P1/jJ4ulPSxKop75+6ldBSHrOtRMsMfYhpzFEDYgVjR/fslWB34NqiMJ7PEqAIDGzC7+Xyjo+04gOM/q+eePbbQBFOibB//toAAhkQB81aKj8TJftaS8W90lDT4rt7b9Jsrfa2+8OjsvLJ7ZSJxjDYFyGyHF6DBwbZD1Bo43wIffBQB4bohIqHBj77e/wyuupfUmuY9FF+R61MMB6mnIytgTWPIGpSv16eVDMXz5APuJmg4+BIQCQuG5KSl+sR1orVtQixW/46E+XB3hlRo+aEPIjDc9zXfb4uLgiLw+F1sl/E+2DTczxPGz90e0Aum/Il9ktw+ZQCWtO1F9TLi2Ht3LzBaVXU3HPt8h7FmmCBuQhyA2AZ4TjcqwqYDQe4IfBO6WTrNoKa+0lmkP2rjrFPDNzrEUh/JwjR5BQm5de9nv6rvPTYAkQGm7B49DVqjQsa3Tl+MX6hTDtC2PyEciAJSR0Zk8+DLii5I6Tg83KPuat5cZzMG2cvw/Pa9LNbq7IO5UUpuYoC4gbajh3iwkAnrrOPnUQfJhriPBHVYliwMx1C1Hxlo=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1757530582

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

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

%MAKEDEPENDS%
ghc

