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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-99

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
744360

%ISIZE%
4437063

%SHA256SUM%
72155fd5a0ebcf4b24c86ebfd0ff4ba490f0610f17f712bd2c7b6a896699b2bc

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmr1tp4ACgkQeGxj8zDXy5K7fhAAjBHsb5bzGnVmClPKjhOYOvFaleV9fKDsR7P77tam7apaqgKjco9USDaA/g6S+oXmo6sE0Fnxxk0H8mpOFtnRk/G3s3D6/3g4FXWSSLBL7QAh1vUA1ZilM9iegNYy8/GNj7sti9R/p7cxYSEPUcZWByfUzsi6+Woss01fVntaLhRgxuYqTdTD7Q4crrrwtQDqr/Yn7l2lWuXwwnbtIQCS281mJMQqltmuESG7j1BJeBu7xRbRbgSQluh513GZ6+UuG1o7zq27g52gVUfrmUAxAR4ThhnLU9y+GXYiV3KgRiHacfIEjSfTLpoCQOLZOku4I4xJ+GhGPIv4el1dXJOrPwpXB12+CoPYf2I6+QZOGbi3h8wPH7wpbnNnu49fdfAAzdjzqgywk+NNQLnZky1s1eBFGrBxcIWrHezkE4OkZIt/GLMTLGZrN+Tg+KnuVcQDm2yOwRc3xfNFQ7QhpTOlMCD7INHeL6owR/65xGNW2r0/9vC1ptASPqXd8oQDi2V0l5K32hi1cIi6aQKfRDOnfoDn95lkiotzoCcstfDXabSwpE6iPtWYsWkkFYg/fFwleCDOyn3XJv+G6KgPprbWWgzZz3q1rJINKM5wGty3Ghf+FPMGcEJs4zpDD4WghaB4Y90Lki+jVfR+2BybITDaexl/4zkwZ8KW3VL24gz86is=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1794487908

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

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

%MAKEDEPENDS%
ghc

