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

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-53

%DESC%
Utility library for the tamarin prover

%CSIZE%
243888

%ISIZE%
1268413

%SHA256SUM%
9f21aaf3abf64aab2d495a8b33878177494ee1622c72f1a60b66dcda7f3bcdc0

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo7xiQACgkQeGxj8zDXy5IzBg//QxePaeLZY+dhS4N8uhSKgyVCOLm/5y7hb71/ceB92JOWnnL2QBvQsY4OvI18JNZgTqG0hOM+DppT20Sl/I6YKQgqfahw1PiDEU1WiAK0CQ6rNOW7MKz3LQLhOuNr3aB+QvxvkKDDO/SrvVrK4iQiXIYk/qmyP7GbtF2C8msZNmBLJnysPRwhu2mC+wGvLgnqlW//f7wNNOuMr3RV/RjVTVFvwXFQsZJ+wKUzKuPOJEsD5eayxLB5QK8/z/RS5FbgfaAgdnh9dFOf349sUQ+pRS1Pugsaqe2NMAuss7XUBQwhN/LF3XQlygiRrU5eewaeMmg2GC6qnSQkG//4toCGiCBj9tZUsTOjcrXQJCvOHZVhTMNnthefKSHtwYrV9V3ZsB+ZzSXs2XUuFaSE2UZWO0ixYjOvHheOhmN2xX0K+m4SaNTdrB3Ifg7c0K68nA5NcGveBeTgtQhhGjVA8JqIs6D9/yI/00yXkV+aqSXL96D1XPOU2d8Eo9Wm5RSDr+9mg4LjWx+9V/nX2Eh6bocqQJXpm8IQOpu9YidqFV5v5qADgtmozjG10r++5sMHlsZLNjFWUuE1J1CeITRGHIiIBz4gdDZ9G9Ima7XtQm8FLpweZuT1hRkQ4fkciPJjSL5zbsIW0rawc2iLXDmBdG10bi+JAba1E4aK9tCCmLr8Q7U=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782302223

%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

