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

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-64

%DESC%
Utility library for the tamarin prover

%CSIZE%
244117

%ISIZE%
1268415

%SHA256SUM%
0b285ac09bb5236fe7a7adfcf608f1f7bc107bf8da81fe249d942f7f387702bf

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqSiFkACgkQeGxj8zDXy5IFkhAAmULd5zEabrmA8jTfOuB/KG89WIwxmOzM1HHxHirUw7jUbBQ3UFXQAanUIuWYRz7b0j/syVBEMfLi8pQZEO+VjfaXEVbN+oRw+N83f17ZZ0qRNOLvaIyN3JUTnOgmWQ7cGMsOud8fW5I1t3WpyPlS0Lz04rSMTrfhjdVNMFu3D7eJTVzeIjLuJ9wRrfC/9QCHlhklBPWPLbxI5usPILvu8Cfkb48lGaJ56RX7czQ5SXX4z/Y4XTpI83+Ix16idTSU7dGnN23FfsRS7eRRTMz+knyF+8X4ICpNn/C9Su3VpTr9hLK1b9LN8SUeH18Pf9i5pey2F0/dRKv11mTy52iJ5DDiIoUrukICTbEvkArkn8pSAj1GWo56MeOsjoSfaTiIgmH+WYW77n15W7PZ2lAuNa0ZfEoACmALNUG5TT5PD99vcbVbt5v3YogohxRfn7ghzfQmUIQnZ2YJLR1+MHbY/4xSIZeCv6SgbnFCwzgwkkZllqY9MAuE7WMSGHQ+XZiDfwjEFUmlf1QXCac6J88pCFJPEZ74jikeZPHYTu7tYsCVKj+QB4AH22zTABzU3Nl6FrXnFahE9W5M6iuaHtVkn7cFfwEHsr6cUI3a0b2/+KDbuuMy8m5A0yepOfa5QkoIEzgjvFD3FXmh3xfm28jg5uWb8QD8bNse3ZekAEWPzWU=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1787988044

%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

