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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-81

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
744301

%ISIZE%
4432846

%MD5SUM%
9470b6d01e9a03e157a097a77c9725db

%SHA256SUM%
46a54d470f1eb04ea22fdeaa325124aa9bc0cf074b301a6b1cefadb7a3118031

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrB+WcACgkQeGxj8zDXy5K/rw/+PaxBgfcwFSeH4ehyFEL6ps9zIHk5EknZXP2BYI5X9MzgwBXgQbjCD0+h5J9Rriblep50p/5vnsDsAqMysZB/pypFSZlvYsSalAYhXBoxtJXCtiLBXHAihbEDg7Bd71mre6kkvn2Z8S8IKDYkfGJP/6tthfZkNUPCUNfqYdUAT7cKHQip7F0DFABm95z3KaxCvjKibr7oMuFUe6B0DxxlcERXkvAyud0qcACyqNXuG4e2TxB4ju55dnTD/oKU8zN8T21vFd8mjioX9YSzy3+v0IKB1TubdgOlkt4VI31k5vQnyIMBUmtN+NuKChjZvqNz3i2Mt7wjbLJi4la9mQ0qpYIxRyQkP3/XzfeVYF9W61W/h9Hd23MXFvoOVdSO+GgDhFFiIqF19lHb0M5MnKnuXPazyGj7xXSwUKhWLm3eYZotFCxVRGf5+c0jeK7jHRlrkT0OzQb7tDeZ2oyVvGqecOliptwqk4PkYh2dAnQjv+vf680BIvlDrPe2ep34I3uj9yu8380lQmE5dTk3lzYiVtmW+rRF/m6wKzbTCP7vupyamOOWgtzt+13gZb3yEpFhGPTPCIOGgnkq0x20gM1WWBQi4XdVaHSHnIGFghFaaYpuWwzTN7hUQmrpsWiRLLxeSHr26KMGqnct09CLZqOyENickjypSSLwUshXo11ZXPs=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791097165

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

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

%MAKEDEPENDS%
ghc

