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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-83

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
744018

%ISIZE%
4436785

%SHA256SUM%
8db47518298baa219ae72dd25fcdb912dbb8f465d9e2dd94de192e6f887e0440

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrCh6UACgkQeGxj8zDXy5JaVBAAmJHL6DZU/Ia4Zb+RhLP0dAjiFZuQPNfNkD6RTT6UiQBAtci8KHtYjFgjvUGSBR0FnftgitQKmAFQU6RMqG3fya273arxjlJ5VsNbonbHi4Aa+kdhhJTx+BzEfS786UOJVpi8H0zdN/04vw64b79FoDyGMEDs9ipFlnGFFgNiY/mKB0M+Shv8+h11JFe57xJFj+AssTrsX0EDRjg5sbPN7MnodxnrKFTLKL3fN1Z2V5ecO8XzKxdcjiHiA9+/NdqGtTm/TeuCXF53HuO1VeFAPHz7jx9jJUdWXyWEKhhSq9n65pPBKfrPiel2tkq/7+uJ+b1oQW2M3RwoBOhEZx+vFcA36rvA+X4eIR3mq0ZITYBE0qzaW2zLmkJoT71Kj6xqVqtxrZHD79kq+wxROrsftNFN97bR1ubIQP2BAlNiCtQtpm8JLjYiGM8beq1z5KVdoTe3FYBcBs9Lm5n98mqD79nyPsOTZwH169cw3exmLPPqGgx9NKikXzXSX+gxgW68QI+8E5HRfBQOCEpw2Ui/Aop9YEjSj6sjP00H4EIG13zj3NY9+37NFI6hOYhTxfj5KYqnXGFJkOWjdnzSMzNETxZkOYJnbGrwTKk3u97VB9Gc9Z1SkmyGmqy8VFf6+nmxidn7pSHgYBn/KPk6Jmy+wKKfFls9Arb0QohPaCGhB8Q=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791133578

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

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

%MAKEDEPENDS%
ghc

