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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-40

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
742556

%ISIZE%
4424330

%SHA256SUM%
31223b38913751602bc2d6efd906a36bd05370f80958abc4c0508fcd6cbd168e

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmou1egACgkQeGxj8zDXy5Iyhg//QgoMUG3EO6XuHLlaHlpUPEbdZ8c6XCW3zcodU/CBxqYDgHzqsZPxe+vIwfkiom+uouk9c69C3VucyHBVnc0kwIQZ+rxdjJG21cPf7S+Gy0/ZDxvf5Y89BOAQzvRalwQH8OUp8LOee8lj9HFhL2s2a7ckGw/OwyVF5V6BT5bADlcbqvITvqYnenvM971nQhkjFsC6pltgsaGJnRfXJNVWa0vkng2M0sN8gSgxRIe+5ex+wRV9/3Vtj886SBydEoSY7ozL/RZRvA+QUf+CZv1EmvcyMMuJauqd+X1Git3wUWYUrwUIJdaQ3wHPXxO9IMp/Jof/2e9I5aVnyzqANk2SGbkfB8oyyI51eHt8Sf/3TfsuERotyqpID7xvFvDwo4xn00p4sHQxLemCqdoEQUlR3lj9W1oPBKvfO564dCKOZAqrKzpNLsp0Zk5RfWnlOcxUgG2AMtawRg07qoA+l1wiAs0xxUnKH4Z3TPCBZDV0xZaMonu4Y08qtd2hwxiSlnQYwqvcUJzCdfSaaizI7lkGypDH5g5ypAPCmj+6YzYLzQxlH7IVHqaVz8CVss11hvyEM19q1gKXjWwGPiy7jtj8V1sn69JCFtPLJCcAseHRyPnwDE/HEjYTFY+ohoTMYu+ALCvXsVvajqgdUnaQYsswCLL047+foVZOo1+Qh1kfhnQ=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1781454282

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

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

%MAKEDEPENDS%
ghc

