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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-98

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
742535

%ISIZE%
4432910

%SHA256SUM%
a05310a2295c9244f98cfe38b4d3bf2ab04b5791f6b2db6657e57ad94e7431f4

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmr1DdUACgkQeGxj8zDXy5KzYRAAvbLkRDs+i/jqrNz3KyZK+Qs8C3dqteGDHkcId/u2Ykfov1VfCDcHkMYNfeT8atuEwFciuXymwUZCNZzg7RNRfmTik+4VM8qJ7xesM6A0iq5IKiW2jipBw4LqYBcLOeCtt2MS9/AsqkmYgynykIA3IVa0yOTZMqjVMP0MMcwIxsTTN/iDdGH+LRJaaF7J5xuEK0k55dqPA3tdiyUxrCZqaPIbSgxWnNjUZN3BGfYzWnZQVb0bK99mcuwfFUayfQ2mmq21OdKZhZ9y0AFxH6ArV1RGIi7pqcY75vBwC2GVdJO7Cik8MN6TlJCGMmpkLSTzCl9rYKhg3GGlfriyCWkTll7D8l9YyIYcmAT8Jy7iCawLBorTbdohE6vtoFCKqW53WNT2153wI0Na+H2rcNsiMwpkjd0Pa0ExNB5iCaAsbIry44fMCcWVW06a5X2uos7RGzlkVXsnA+iNn2ku8dlzejyck5ooori2c7SqPsZGbqn2DAKmG+EcSrkAQ8usChYmgXJZHbsSc1zJYNIlC2L+xmfgndN6EWhToi97ktdpN0ljmll0/7557JtbfvOwhYBLVoNtc6Ife8IDTCRGLOBfJroRH+YBYTYbBp1Iba1cyJCG4TA9NRVeOAHclNhpTWsMdNDT+XhHgVXMFQ31c/AVPe3yELqYE9HB4ZmdXvboTlY=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1794444726

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

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

%MAKEDEPENDS%
ghc

