%FILENAME%
haskell-tamarin-prover-term-1.8.0-21-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.8.0-21

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
911338

%ISIZE%
5609080

%MD5SUM%
84d9d0acffb0c83a84801c98ae0d0163

%SHA256SUM%
b2318c7b599427135604615a8c6fcfdcb3586328b3cc09e2b3d7d146c20b51cf

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmXD9FEACgkQeGxj8zDXy5Jd+w/+Is6rSSeF1E3yVzdnSAuZ9Y4ELoE/25WfEPZX0K84DCunz7srsBmcaQLMa/PZ/J85W+A0hOFpFL0pZfP5cYknk0K3CGcmRh4qWey47anhIWjkF1eo+KHK+NvwrusaYWZwLk/SrE/rwqYDsDOccoH8g/phxkStxVfnOAmxRluO6X0y49Y26XNhPVgjMJ8ElXDFmZkTHKhlRJbfdYl7PdHXZU2Rs6bOeT8XGX3O5Z/bEb2imuQUTLcRqLyC9O0FV/NHz0lLsMtN7605GQDjFt/CO5DEJlgKUp5BhHQ6Cdaw3k911u4vt0DA83ahy3ATGmgJKWQ35pYHdv2o1uSR1Sf/+YL5o1blnuZVeuE2oObgGTxwOD8qL68QmDszkSq6XCv/kUBVtfco1/GzG+gFrj9ofXdu10zXuYx72gltN7ItT7VtgEm+V6z7dIme7iG6Z64C8t0MKjml/IrJYdQAex+tggObHKjSmQTM/GpABUwgnsaHsOljvESgcKsK2BSPgcXd9JCQp/CReL/m+JhrT2WsMIwf4pYE/1WWHbJuaJfuWWWfgO6VtVWRAIIhD/RBMjTfthfFSEhVpSZWyrBWRST5eKat5DL2EuMMNAsAHNkzvDm5hE8L41DEUeU/+nKJZdKllqDyvlfRdwPk1iaKw5uaD2rb/o18G47a5haueefSRgE=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1707340809

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

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

%MAKEDEPENDS%
ghc

