%FILENAME%
haskell-tamarin-prover-utils-1.12.0-54-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-54

%DESC%
Utility library for the tamarin prover

%CSIZE%
243675

%ISIZE%
1268388

%SHA256SUM%
90d767fd0e66d380c0182dac05ea86733529f7a5ea9f030a9caa81d747c352e0

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo8SuIACgkQeGxj8zDXy5LhXA//X5c3tPD5Ay7gvQ0oOmktyTf6iSVJ53KdWOgetyssosZrk40f/Sb5MeTHqpDZIDeKA1coTjfMYQd+Y77PO1sAcHg6tniCzQzAvC9EUPs7HxK/JJFQJW4kcP+zYzfXE6h8ZutL7NEcIFGWlP7q5sPhr51Ut43mBfjiTHf6LVdnlMW+tWherWlUQx/3BhWCcQBWuQQu8nPLCy6DxPIbKKyJfNWaOvqi5jTH1YxbispoD6DA51jTM2QXKYJ1M/Ix5K4CXqvQhhQ2xOZMSuY8Qa2u8djGE0xM/jMr2onrFmaJb4M/dpQoacKJB8sAKldmbbQZwOwPUUWVUSBePHm6Hgtq5FUomECvu3VM1snzjcu8WOYB4ctFZpeEegt3tIjaOrxdlrWwZpQGBRSqvocfDgh0E6zoguVZXlxA2+++bIGYzZgU2CTReqgiSvzOUnI+NAstkR/bA88zN8IHLM2hb+wNzPgeiKxm9SbthwMRh8nmjQE/4ySeCOCA/um2HM17CwG5Q0AMB/18BRPy6VnRQ8Tg2tlNOKcUVlD0QJpc9otkpSC/ZOgiwKNIi3UpDHi3FE/vpl+O+PzO5vcPB+DXp06+FpRD+efjyiAPvCGuFZwAxrZdo/OFiyW9c4pRkHgv+xiE9enam4GTo7ZpLDhnanqY+VBjbM40+7LTZPg62XVfyV8=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782336215

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

%DEPENDS%
ghc-libs
haskell-sha
haskell-base64-bytestring
haskell-blaze-builder
haskell-dlist
haskell-fclabels
haskell-graphviz
haskell-list-t
haskell-safe
haskell-split
haskell-syb

%MAKEDEPENDS%
ghc

