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

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-91

%DESC%
Utility library for the tamarin prover

%CSIZE%
244021

%ISIZE%
1268020

%SHA256SUM%
d667bf11993fce552948cea775927ef4a23f7e154c2d37b4abeaf64ff3afa7b1

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrVSZMACgkQeGxj8zDXy5Kfmg//db5vG9gGAoRkeQ6ZSyA5+mwpvk5vgdKla6Sb5IaBWYaWfZ/1zFNG6q7KTgYaYhadM+MCYdR/Je5fx+nloj+OaCPywpqlsEe6KJLZF4znJfMmNOPUgsnXHuUd6WRQ22R1/wFt07pvMXLck86ZTkW/HOV2BoYc2bku+5BUOhs45Bed7kRf+7rmYTZISWloi1WtTHbduKR8I1uk209dOu6rw3ulnF5V5I7qtffmfoQxYuYxSg2LCL/bbR1wVvpxIbfEyEtHj1WkkVgMeNCvcQ7/Agwy3+eslHN0PmBrtPOv/gsJ4vaOswAbvLWLgH+dA1xR0Fgc2snN0QUWFsMmUqgaumJ6dxXLT+jfMq9tH9DgBpAKKmo6op7PMNaBqK2MtktEyR1V2Vzqq7YpLg8/qnGvo6CSxJwlfaqoFaGikYYQ+wkKSQiegRA9+wuULL+nKB0tDRguJ3pH/ehyLHIZTEefQEKfxfPpFSgTdceeWMIvK1/++CsI6sxam64HqSj8e50b+z0xaCjMhcc/vUaTFz2Li6g6bT6Rj0E7nYJv41RB3m768Q8wGiTE7pqybchEL6KcsK1+WbZBx2nBjSK+oGyXDlReW6ECZH4Z2LaxeXRfwEIQdYLX46VB2DonHpqOZdlZzBDSkUpwsPDUNEQJAUTPqT/eHBWxKAB2uBSkZzxhiUE=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792362876

%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

