%FILENAME%
haskell-tamarin-prover-term-1.10.0-129-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.10.0-129

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
746944

%ISIZE%
4419427

%MD5SUM%
d444ae6aa552a8ee6587c62150cd9770

%SHA256SUM%
75cade116c48b6984fc8cb731477bf8802e36a1fdabe0cd1b7a9b5758adec353

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjbDD0ACgkQeGxj8zDXy5Jvhw//Vs5edGg3IpXYcrjK31WEfQW5fXIY2o+sgAWNpLWulTXZt6a+vBMth+r0exoyJqzgnIhsylmnDVQZmo1NOhlewLgWwnfMr869NCmeDBdXgagg49G7DLdHioSYWFAcb+Ckh01eAn81jY/AP324l832Ol0GhdISWUQDwYcYVAuNwY5KDGerd4Nsdd+XeWlGTjN4z7DgL8786MCurSaGqB4Xxy5YEK+1TW8ILN3yyadaIj7t+gmZWw5lw5qJqL0tC4j0bkdKmZiJGlrMCbE0L4NgR6JjFvJEkRPyFcI6wk1LSTQa7v+fr8aOkEBOYh5TQJq/Q6QBbwggryu39Sxnbw/CcGbEze3DiRjmey9VYSNCrCR02xsjV3kxko2m0pgffrIJtNjYH558Xid7g+lesbC1tBerX2wBGJf6t4v18h9waOJ8JcPMrzuehHP+lILqZzrKyx1aEXpFQTpV5Pkx+LC4OPRTI+gXOIN3YIRKFrkIW7607zVgG4n3wDkKcJAViWFJn93muZZzikSelBLGY0TgcZJy2sfq9zoH/+B3Z0C4JbT/EdGNAYEMSxxCXtrg7Xla2lWpAg328FwJPkk1Rz2fMF9M8TzG6ZsrPWwFWOwxAmVuNjvXUWKfzyK7kElyA6v4NrOxUWaeQz6v4EIDH7yqdrf6TFL5FYHX9Q23H9PeNcw=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1759185941

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

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

%MAKEDEPENDS%
ghc

