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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-62

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
744109

%ISIZE%
4424446

%SHA256SUM%
cc47a10a93a52079b4383ef9cf208e6520b2fe166919aa1b48233e35ae3608e4

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmpHHQIACgkQeGxj8zDXy5IPBQ/9EPD3UAAjeRmycaASkxvXicDOSebp701ELb/iqySFDZ5GCJbVitYC2/vQ1bC7gUzlaqXESGX1XlIb5GWIFLR84Dtyk0KxKmcNNrYKTopm8HhXaL0S/yG3Y/BxIvKeNcajYgUWYVwwWF4bsEKsWOJV26C/QpKmZRZJiAEq3cljExdBj0Ksfct/mSgPY0ECF0/eU3F2AAQYN67AofllbpssL17NzrUtIhxTitfiTKz6qXymuFLKIwEPQ5YyjcIkWkXUuPMKqsTORGlfMI2/zzmtiaoVGs9SM9gF+OweF1HRxH6euPPJ2qF86lGQlzuLz2mLQcDp+bYKIuzPo70J4JNC8jfeRxta1AiY80PWEOH8vNzS8gG/dEfDcAlYmeQmUk2SQeEGMQYb9EznvPCONbQW+K2Q484Q9gP/4PzGU3VXYOTQks/g9CydDrTN7dflBxrdnEP6A5wXhqBEglSoa+woOD89s0ajmEACU9Xb5KYpx3txP3MXnvhBNxFu1xZf3Y+hjtHpFoHAesXv2FqKOYn2qjA67oiURZM5FYHyozhU7ILbzXzS3UF5/oVkG9uAo+/v3udJZ/MYOJBusEoyesoEuAG2pTQoBJkwHQf7OEsXajy4OPxXEAInLdNl9iXeR8phumk+VeIB71hgDGLN2wXYANQ3ewz0ArTdF85daN2RNNI=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1783045334

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

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

%MAKEDEPENDS%
ghc

