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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-87

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
742932

%ISIZE%
4416287

%SHA256SUM%
93678461f422f6a745c8ce88522623b78939ec7705ee0361810bd577561e13c8

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrKqCAACgkQeGxj8zDXy5KvCg/+IH5hGmTi7usBvZO6OXFMvvAhFHhCilt4IWR+yCvXD4h2YJ6l9ohO+pCrCoDhf3xtoMTJmSZU8PWSYai3zG35amqraX7ci9dsuPzQr4oPhqOcHvwCTMPVypaCAUkWNetudiWctEZOaHA6Rf+r7BL8ZZOWdVxiH7nKlsXTokI42SvZIYd4ffvVkwPbCaBelfzi2zcVkQuVDHw/D1guaj67gdp9x+zcjaKNc6/HqJ4E54mlt8FdBhjjzhrEanWyJjAvn9AJaYRDKWC/5/0DSpQE10RpWn+EI5ClidOoz/Ls9FuZGnh5lRCFS/t158ImfMc0+FQGsqHlhgrNtJkg+YrfYD5p2yydnU5K4wm8oRGuLj23jtRPMGuUQcuu3LqtL7iF/M/AlkFE3xA3gO8IlzKG5ML2sipQgxw/QbOr+GAp71zUMrtYjmdEwBBAtIyEC6NLq06VjydJk8ns072q+8jFnmBw8a0/TF+8+kF4I0tSgNtWfe8MTatvxuK6R3gzzj4mf94bUOZ6Ivevq3yzfaiWrpu+3PV23vAp+UxN7e9KK/B3Pr0ekc98PyKJKDWeu/Dp9HQJ95clh2jDOh64VLa/eJ0Es46TPWVCSnxjDIPFNI5ow6AulHV+eNNx0LfrDg8l+A7E4P6nq8FlgQMxAXQiIuQMKFJz8DmqhdlV6ra6pNs=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791666176

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

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

%MAKEDEPENDS%
ghc

