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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.10.0-138

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
740185

%ISIZE%
4409375

%SHA256SUM%
c8023249f6397c3b76e6051066247472815809a30a46092aa5aa498c6706c050

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjuvGQACgkQeGxj8zDXy5LyghAAnBxEd7aYpdNXQqnBKLV2WvICzdlAjIBAz4Xj5Ep0/6j5pp4rOjyh5VVZXbUf4t5T8xJ106531oJ/MVJDhJ5h9Mr+z86INLeMnLpajp8/BrBnpzRjfKn+UznqbK41NsmaQvLSaeVUkPOVdcEwZWG1ly8Zo7KM9FFn+wND0nRXK7S3dA+IORPtvXIZJnxlpTZO53d8OHfsI0CBxWElfrO8E8IbpocYuI8+LUsVe+IjlaC0lnOPTPS3rK+DY9pKNbSDkg52j+7d8KZkhT3e64h4lbGCJXDJAE4wprD72+uN5fit32xi+jokqU37AG+e4KZOB8CYVFXvb1EAY/2Zj2Gte4sPcx4yORJFhMX8WjWgsXPFBcp5Ad/HYP4PAEF8BXAxss3FNzoO7wAhoOtqsfM0zYnb6ofkd+C+HtVydx1Kr63PoGhAGsE9PQNNZQIfvQgryH83Toyl93F7ExXZid2xJyjMpRaSCG/Q7KoogG0FT6srXOEyT7IqqLoT5vKIEuh06H8E4ZogRMjqSuD9ospWjwIvZ8gRgaC3TZRRkGOpeO1cDa/PpTRPohNY1fYUC2BVu7w6uuo/2lrwkYNItv0/0TsIxDSJE6Yc4YDP6qJmyEh5IDCIWVxH+CueE9pPHbTh3iRGAN/Dp4HNbbkNqqj9/vFlne4HDAmQL0Mc1g29ams=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1760476220

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

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

%MAKEDEPENDS%
ghc

