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

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-97

%DESC%
Utility library for the tamarin prover

%CSIZE%
244034

%ISIZE%
1268057

%SHA256SUM%
7dbd3a1e47e991589be9baf0b158633a6dad3fa65a47a39e54afd358d70ef85e

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmr1DWIACgkQeGxj8zDXy5JjmBAAv3dCcM4NTg3OkHCCZKFyVOswZspPztKrdkRqaGGMi47usnltRRI+GK/+ApzNn8J1ip1VpJxG9h0UvrTnvoxchpgWHAtC0n7PPKEdtEC1X0MJIyfDoCYLjiwTEpUmab1ElRuKtXALZTruiL8ozGR2v+OyWhWqPVKieoflnwDmQZpdvGA03kSsNZIyz7kqo9H6ToD/W7ZhPIb8vQKB7/cNNUipGKqWk4Vg2fet8VE2+Ler+T/B7n1pkqPMqGiFV2Fiwg2BYtnjdB6CooCpoghidUjW8rTFj1mbSgTEPQv8BR/QrARRLXpT99Z9Y1ztsPLY6XPgfNOzHeDRdBJMoUyuDHvgfgejW0X/IJG1MicWHg0cufhEFYXkKqwJE+aoSBn9BewUfLO24umbWULkJJOCWg+CGR6K4jEHqWpt9a0rHQ6wW3PULtsABdUTQ44I5ReqrFh0gZDUaZO7Vzo1mJj7vNXemC+3t858llaUTuRxzvAdbVGnn0manPQ3uSqkc0henn9QyLh6QueoD1/3Zr5OlnRHWEgU2s21Hvx6vN9raSkroCdbejLlzxHnrVeNWxthT69/rfOVUZe0VllGL5KwXWBf6zxndd/CEaLRV1aKuWF4lierHhCgGfu1+iUziiM6tuB6bpuzIumCB1I3r3ndR0hNMyuSNGJ5dFyhgXNE54s=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1794444624

%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

