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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-51

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
742689

%ISIZE%
4428473

%MD5SUM%
911fb0972ca568d916c3a5e2fb11a847

%SHA256SUM%
afb5ce57e14b7ad4dcf4448bde5cdf51e62e1fce2f7c861583ccbbb5518925ef

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo6uKwACgkQeGxj8zDXy5LbPg//aHPJILo0ia4mYN2eEwUBjHNzvvZpixB3LORucjN19uCm61RUkA+yITCZrqnqzUObeWuQOvzgR9sjewhE/AS5tAXtbp8OgIsLjz/6Qau+7cEv5slJtYiAISEaKjWkIGZ/w3e9g1QnvcbTUlEMdxq4SmkcRke1mHdpzh8XqNM+RrjzdXfE2ChhuZ9whYXejtNiD2eqJVBPgNOpzSoK3CxnaNhzomlabbjhb/ym0/D23SE3lKlqY4sKCFMIKPMq5iqgsZW9tNyc3PMRd8vQ2vMPfSVqLfI+DNRRlYAZdsu1m2+vcfReiQ9jUYVHUp55rl+URZythTbsr4DVlRy96NIaYbZc3UX5rS3tjWkofgDgOaQ0jkoT18l1nwXbyX/BY8PpT1AV79mdyL4AHNBPtCE/+I92LhT/UjvIg6cCZb3KFqv9I8D8otR4mTMBDbHe7x4bryweksMhySoBrcQBeGlfR5Eb4t0o3G2j52ECdNdcFKab1DdQcnQYHsXIR99xz9A8p/DCB5HFP2jnFlmrWE67ByNACct6AGMjgq1xPltfyksP+gdys+Uk6jWT3VgiDUe04O6jRfB0g0zQTtNJPQnUZnBb+TNNOjR7kOyy2G7wK7glCJe6yL+un5ROwl+RBbHJRd7kxjcEfh03SreVqaH1i4ePLIQ/M9zn004Tji34YMg=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782233163

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

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

%MAKEDEPENDS%
ghc

