%FILENAME%
haskell-tamarin-prover-accountability-1.12.0-80-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-80

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41220

%ISIZE%
163712

%SHA256SUM%
abb4bb6b90b0a5bfd9e9eebef60ab9fb288b3bb57142713e630123a568d5b528

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrBZBkACgkQeGxj8zDXy5KVdxAAvZA1aB+4CztGt0lZP+mnRfItE4vYNlUl3mCLSgtkMQmXegpJwm5poCj+w6QMSOGcAyxO49+zD2JKydjvcMh+5n97i4+4Whq2jbCuz2R9pDqEQasywSKZPRyZBXs1XdYU1nuFP9U/sObpJMU0Tm6jNAXddwJdGrQWlDWTLVnrBi2DL3W8Dg69J8AMARiC6YfPU8a3zUp+wxYaSbqOAyInwSJiUSCVarCFa+bIhKZs9HIjArbLI3ev1bDlKZIG/SggCFHHoa1VkfZ47/X8Kohp1yOJ4sDxqvsJxhEKtBeR+ED/h98qmsXfK9B0Xn8jxKFBBv0a3+lMZtLQBgbjgizDbJ3K3rpTsAzvxWV0C2JKQzTQosXZRbTRRa8NttbD6BfenL+3XVy4+wFpsOQAma6FfwogZduwAqi6nG/GUbAMTsCmRWZWaqige7Q/3+AaoinrCQCqUnjP0mGhKmTAUq8IT8lqHq6aLnl11cr02SNJ4tkQ5kBI+ogwjt5Kl0nqwkO7UQH0B9GHuW7CWqZ7U/UvKlU4zvK/B/aHtmONimP2aJyFg0VXShFnrOLKyGGIQvdtAQYZ5BojNIbc59TPlSW2qMMGU3k3LeNxQc7o1njWnsm1f1sOwec3zQj6F+QJnx7TaJzYJoDdT51Ps7b6tKZyiyDse+zQVKA0ztRdvmAYV6A=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791058950

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

%DEPENDS%
ghc-libs
haskell-aeson
haskell-aeson-pretty
haskell-dlist
haskell-parallel
haskell-safe
haskell-uniplate
haskell-raw-strings-qq
haskell-tamarin-prover-utils
haskell-tamarin-prover-term
haskell-tamarin-prover-theory

%MAKEDEPENDS%
ghc
uusi

