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

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-95

%DESC%
Utility library for the tamarin prover

%CSIZE%
244002

%ISIZE%
1272139

%SHA256SUM%
aad20589334f3442f6b2282d078d647b8c0ce95d85b8075366516b6012942aa8

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmrkAfMACgkQrx0hme8KPM+FkBAAk6+rgrF5zApupTFOdR3ZVex/vyX3NEEPCDmMzMwXmRjNUUpas4slvYkKclPqUYRXT3TqZrqz8G33xP/VZ5KbvQ0QJHg/74++5jzITMAtlmDn8aRy2qiqxdoqTULO+RVXWOsP6l7PbpwjzY5sVqzT4jZC1dIcakG1IATxCzLz1gJeFRRhE58OSi6mWgRajLJVSaX7aScNdJQHwy+8HcJ5D8yowhsg0eqQ4nPR/YmXJRXJkbmrAzvscq/MJKhcZvaizUrl5mD6yoWsHX+Y8usVeh2aO2EAhUH+Ts8/lIlWVMQTimfDiS1bozOycOpDEgEB9SR3I2eq1CJLR9nDIlJOjMy8UsHPWZkGODrUxrvgpdv8rJTOWR82NA/8NJhC9ykyiVFlL9xn9uLOjERuuTtWCy5pgwvKaJ1BKKXQtjxqyFA3agEXMN8/j4KlHbmZ+G3FyLkdTsgCNd+jpWH5sgjH5ZHhiJ8JLhVUifSvGHWk3pSbvRbs0MtluS/1muKNu+nQxkJ574Y6RdjW7+LZj+5L34SeHnEmO/0f681mC4Oy4S6+LSzObm7VwjT6P8viOZEwnPDl0t+RRwn1gED5e48hXXHO2CO3W7n2RQn0JVLYFmE/7RdjKuS/XaEJHitfSJ6pTN4tpmu9lB++GpX7DfSQC4zsTmggbG3KbG4Do1DVXHs=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792754315

%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

