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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-100

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
744423

%ISIZE%
4432789

%SHA256SUM%
0a18ecd9a29884710cf6312c81078d8b6d4db86f190bda04dce60795cfc406aa

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmr2fKcACgkQeGxj8zDXy5JnNhAAlQtus/uyKK9PuNSFWHgb2lVaLZkiuSjRoJORy8jQ6NeJpAeqB2PRKkfMcih7mKjG8QAVdy5gQaYtwO8WfcQ2MLtJTkx8gVSUewEwcuYDpQjAEjzpFJSL6MgTxIGCar8ExaXKH7jCqMAUkR1/GoXNjn1DKCmVOmCGZNwqcOVeqEpbVbIudrccwDO5H2959MlctjiR0ahdZTu1nNOm8A7VHlMiRFI2YK+JpLrz7VEYb0HqcW5rkZ7MEDeHbezH85BsFumqSOvnVWJcqBCa8r0FGmDQXOGDCBoGkDtwfJF78lr1LVLpvuD5qmdljfYck0XexxjMV/bpYzay4hleID/M7pZT8GCRgqRsybIw2qS2G2jHxgUJerp1PPQrj/ZH4lUarUIHD+eSGc07VV5516DqhTFO8iP5STN6U9Q1+G+0+d69vUj7FN4mzlqxgJYkswIWla3YSbPqCIFHDG70brPkBcb+3UibILLTKcVfqZo/3TPHeiqffPV92LtLBgsme+4hvFR1urhqyYKWh0GG5AtmxWNEb3cO9hdcD5dzDwxrKOKR+d+oBmi0yJ/gavKfYhbFaPLhuxOB5uD7X9XhRpbO52x+lIGCEmu+YryrS6JCKebVVSfGCei2CMYpMw5KviZFywaLXWKOqCAdTBqldEGVSHbt6QztOgES7pLq0P3+D3U=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1794538630

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

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

%MAKEDEPENDS%
ghc

