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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-91

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
742932

%ISIZE%
4416351

%SHA256SUM%
c229058854e519fe19e932ad8aa2a10d7f9c33893881f1d01937dde15dd29e19

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrTZ0gACgkQeGxj8zDXy5L9GRAAjesZdLr2js+nGOdvdR5hrtkJS8WQj9bsVKFXihX8inDpjUF9j74Hp6/qLYpm9Fqy0qC+iECZQcdDr3Lmoj21X3yid7pGFQL2DaVRgxtTgGR7J5Ua51SszzmMGLyU4InQDXrp3IAu9126pQWarNunWyK+qAm5kQIDWDAxco5ZGxIdoKwmsgsBBbo8vPERJMc70eB7Pheo4J2wAHEZt50v9dx9TjbTrR5rSVz/sg3wHdCic0FRlthfpb66XRSA8bPu9WKUzbQoMpu0aW7mPLGxfa0ZaemC3YqmCjaLl+P/E2u7L6Fx3Kym++XdFXTgmTHdOw/MvYbkUW1U1qHX4Z63uvszm67NAFblVEeeA+io2GSET8cyZzXcByIvwQspMOOtTqIH2ievSe87PcW05flH1r4wg40PQMGCf8/ZbCNV2US7pzTChjEIJymy9HYWI44dANltIckiGIJ9Jr31j0kFppDqE6/e6mZAk1Pr3d6ZoRpfi5iQbHwgkNT0xIv8Xg1mdYv/YhqfsIhgAdBvD6UJIiAF9tsqE0JOr4gOP7Zn2Y+9vTeHUfU42sDU1W5M9n8sHCZ8qLJWq5/i9lXB8Vl+LqNgo5oAzsNyS+LnoVpMJt8stNnkSfrJ1YXsZ+wd7yhT/Ivc+DS6FLZU9MF+RsxsIkmPYfNZbct5dEAdySfVP8Q=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792239404

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

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

%MAKEDEPENDS%
ghc

