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

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-83

%DESC%
Utility library for the tamarin prover

%CSIZE%
243962

%ISIZE%
1268537

%SHA256SUM%
6ca11d4b0db5c086d019df8d54645c6c15fcc1f55b7587562c1de7e9e24a5289

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrEEV4ACgkQeGxj8zDXy5JBbxAApjE9DPWdZRzpp1dl20JDIHyZYaHJYGsu5nQnRbix2io2w/9LuYrdmwYwGAzPKQcIjto1X04z57bDVZJOEeKW9D+xQbdLqtgP/7t61+fulSkFrmN+D5OzQ2OIiGcVBBKTwQ05L/9qLK8uKJrBUgMnkVAzzPcWWPkhp/FWrsmmfI15lBsaE+Vp7PUk/wl2Vr4y7iLBPDdchDIm8cenhyv4tNMdLQlLlWGBM51r7ht6zLdOHfObLzBHIqNrsCN2Zbn5AHe0U9N+1SZBuTtqffoYMKUJ4HrT2rO91BewDCcS0ifB4qFebuoIKrKOaAHoR4nLBsz/KC7J6z5baTP35a7q4PF9o9E7CqNrXmWoJBG/N35IoJW+Ojs1zOGWXtFyYSz6JJ30+g8JYOsxuVfOpDu0IO9nJg/QbKQlS2+0BMdF96Rhx3qf//cuD6O2CgPHmSi2uBqx+jPSJ/nl6EqAQnQ5WApIp5ERh0jzqS0AQ2f98b2BNKpC4NzsJoJVIMOHUt75DLBK4TRnJqj7rgT5I0mLykR7x4vCkh7vU00ZEt+cylTTU7fDSe5aGaS9N1/84ySRTf5DC0FXiv/4BMPUFQoKUKkhccgM3RabHE7xHEzczlGWkVQD3qXaVS+UNKCLxlr+kwVk8ElQJjIv6SBhSA/Dhzn4tIy+ZqHNC/MhpPca2SQ=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791234382

%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

