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

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-80

%DESC%
Utility library for the tamarin prover

%CSIZE%
243915

%ISIZE%
1268524

%SHA256SUM%
defdab3405ab1a80b79059e4727c222ce5352feae0548c0327066b0f70bca031

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrB+O0ACgkQeGxj8zDXy5Kkfw/+O45zsGS7w6qgupoj8LNRNwnj5yV92tajAeb030FwoYBfurcNwG8fWdwLh6uoop3bdmcgzXs7IdaGKvBDXUCGeKvn43ga5zNqwpDFVNV/Bs0OJqwT414kDlLvqbvoOW2yNQafOAOv9bDTteMxeb6FtN7dFk2Q65bUpLj6cb6qR0viqHcTvGcVwb6Q70Z8JlEFxr699kMjE694FqLRx1kdC478cgF6YsB1Kw7IVadjubBTJmtQk3HzBgyPNirxBLdMYxpIaWIeeoMAaYzZGt33qpHnVqdDcE2eFDxSIrsBz16pxkLnavG/ki1QF2X3QXk7UftOgzjZXaAK/2PeqgMmDACTJnZotrbeACFhguSAUlEepHw2IMojEZYxb9vaMITXlTvHjU3/vee8tcKsc50zFEHIOKX9DTx7NbJkLCyPjj51vLc3T+eDSTQys1AsDjKZBhaK547q/p0zC/O++e0lT7trccdMYyLl95IO2iO3bJ72MNOKFz7EKsDFHreelA7Z2HAJQ5capF9yA7lFRMtwR3m/ugaRZGyaJBwWDi+d/kjvEkrLblrf+vTxC6EDRDe2SPkkpZEo1+Sk73LUNsEF/J5AEnD4rE3qfB/3v0you4FZjbrpHLKlOcdfay8wVBNyMutE7j1XwrfLLjhDdrDabj9OWcMSXC5F+nliTnTUrkw=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791097049

%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

