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

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-60

%DESC%
Utility library for the tamarin prover

%CSIZE%
243781

%ISIZE%
1268348

%SHA256SUM%
73618ae7f4596bfa413b939dbadbd11e2c40a70e6ee21e0c83fb2691547cc97b

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmpE3R0ACgkQeGxj8zDXy5J/Mw/+LX7qU/66KhmBqIcNpgRNrG+qd/u82YNPgZGV5ozWOgsmavK2qd0X7GBGG/pWnDtCj06gJOhqB/z+e+Cu0ZHDzbM1SsXxVx1IP6ER3D/jmFuHdPoLujAaIhwxBWV3ieUXv6ij2H3rtWzK2YkyVjCWc+GRNT2qncVhUrxAyLey3ABV4EpJIMgMNMdlXCOxsLBDSokYjWNcrKCr2yDbUlOKhKHWfIGnNCcwuBRDvdgPgR/RB4Rnt7IRHb+Xy7t3vMGd3KCoiB8U0NGeVIuGcWLzp77xuUyC67UYVUOjpBON3T3VapIfBcp/7n8rui5vsOY2TSN9Jyb7Uxn9Mw1BKVfOO+/5GFhpp6+ekcdMRvx3f6r6cCja2SmvlVVQX7qo6QgPNZ9QTUDvpPjUt0oYiGnCvU7bVSI5y1Jr2VoQAtPrxEZ77nkCaDVmuZnPeCVVsHqJcOa9S7zK8xL+jIIixmFBntL8IZJ7dWMdDAcbPoDCTvvnsDgUP20bLqOT+DL7EqeLaLTVi+mD7w1wUkDlKjv88HkgqiILFggqTf4V9yZ14smn3TCL75SWaTOvceYRektZNlML/jX4RS40pO/yJOSeMS8arTgW+BuKAX2ZPPxwQWEoI+vmtunbrdERNdVIJnL+Ilmva4ClZyVx4TA3xXtOCbXf2WPJhwT5h//KTsE3aC0=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782897935

%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

