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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-39

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
743944

%ISIZE%
4428651

%SHA256SUM%
61027df553717347ae9d2f4aab6f787c562f68cc7b525594b90a3821359c3090

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmogLLQACgkQeGxj8zDXy5KBXA/6A9EVi7aB3nVjDqv44EjWlNfVd/ypSeD/33g/TPJWm+BraBmN/aY1c5Jp03nlBir+Am2lcI5juW/FORAHvWgtaGRyT/JmHNI6k8j8ykziquX3eC0c+YY4IvjSZM5Ie7VXf+kQ1bL9UW17onCaAl8Hm4TPb8KaVvZCuXzAaaQOww8AqrMuAxJ3rqTeY1C0i3jyOgFggsEVnWjZi7tnWRyt/PNAWfW9iNvG33spQ5FMLXb+9Jbfl3EhL5beAxXkgJW+bUpgfZ6rhiJ44dAewGNK/07v1jrIun+e3gMZBJk20ef3mK8j4znoolf3qXD4OUdfryku+YFmZfw1XQ/dnDcmCUYBBzBiHaPzC4wZH1m0Y+jlpzqQAilhkxamnfu71ZmnQG/LQAv+xl7srWpbghVnNJZfoKcG4S82I5J1scqamsgrDKIhwGTh21yYA1Fk361/mL20xEK0HnBNFL3nIMfGsrj1DYfzOe/FyMre1Hw6H1uAz4iUiyGD24jST57AMoZ+jpIy/JVX4IS6fg/DPm1CMLc8813I2cMWLfH/e5WVgyrBY4NYgwHCS1eHmPS/LDhAy+DhPw973tZx3ReXB/a0FLrOAxqQNXgO0BBDrfIcIKjaTZ/X8WDMbXFgfqfahipskIjolMCR8T7scfOBfdQc1o9hjjYnP6MG/5hVX5z9kIE=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1780493453

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

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

%MAKEDEPENDS%
ghc

