%FILENAME%
haskell-tamarin-prover-theory-1.8.0-43-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.8.0-43

%DESC%
Security protocol types and constraint solver library for the tamarin prover

%CSIZE%
2699660

%ISIZE%
20479126

%MD5SUM%
7eac5506aaebb4c044a1ea2f3453f40f

%SHA256SUM%
a4dd9f8c4b29e89963d94492b9a6b5f5767ad0b8921bd0d4b73868e47e018465

%PGPSIG%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmZCcu8UHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwZpdxAAwppW+C/HCiV/yHdFoK0rZH2/AVe3abBRXgjfddG/OaHk29DWRnRcjrQn3GGe5OP2KrgVqq3K53cQ8is4N6vZB+SH3yKQyr3BXzw8jZfCg6RxjgdLht9qZPMQWt5pXY/idp5GH4uGgKo4sT0OOrmBU4o2TcJ+4kzaTio4JEinYzhWW5N6NPmyGzXJ4RETggrLejpccU/yVueH3UA4jDKVvBHU7JGhe23VKeUfIe5+Z7Raw9sOfpp+N9RQAbSoPCjKe4yMYvXVvlCjMUsVnCuipw0r9ZND06yto0MMm1PL/q4MatB8riYbMzIVIWBNjkkvmf8u7ZevM95uFM5uAwp/gf0vhgq2og/DyaFozNj0bFXhvDPbhPlDgIGhVHfGLe+9J11DhP6gU8Kryw/1yaA4jJ5jBHGpkmGbDPXRaHPhJvyKXU/cvd/z+px0jN3x0O//HhXhnX8YZlfNQQM9c51kMQLxrzWVCjSBsSP9V3ZQ+fsJOUYNbMNLexxYwZtX2qF/zGDvy32GFPL5RXbJKwdYGNSF5UpZhbtjnBaAFFs6t6zT+z7stvDEKZbAyWTOt7EWn2sRZNtTpwGX04zpVtTL5IyuST//tQhqx7jE1eqxLdp6zCvwNu4mlrXRjZ44YxKheGyhB7Xxgw0HTKKNLzv6kcjsNC8cMPd3engcIzlTg8A=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1715406257

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

%DEPENDS%
ghc-libs
haskell-aeson
haskell-aeson-pretty
haskell-attoparsec
haskell-dlist
haskell-fclabels
haskell-parallel
haskell-regex-pcre
haskell-regex-posix
haskell-safe
haskell-split
haskell-uniplate
haskell-tamarin-prover-utils
haskell-tamarin-prover-term

%MAKEDEPENDS%
ghc
uusi

