%FILENAME%
haskell-tamarin-prover-utils-1.10.0-129-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.10.0-129

%DESC%
Utility library for the tamarin prover

%CSIZE%
245223

%ISIZE%
1296955

%MD5SUM%
1ef3b1721f920271074dc3d76e53ef3e

%SHA256SUM%
cd633f12ae1b7fdca6ee26da89862c270ac7884a72ba54863cc56f621abbf3b3

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjbC7wACgkQeGxj8zDXy5KAvA/+IL0bfb9Uplgi+XnZPqp4BCudvzBHFafKZlS+K1BXDvj6WGUeLgmVlN/dZXj/NwRriY6xupK0Pi7YoH9nrHlnjOxSswL0Vy+7skLJGXr/9cEvCwBUdBUz9Rg5XfMAcf05L0Ehtn6dOLpNVJJgCvp3oQKfT2bJTGMnk0elENnO98v/ZOmmZgqbkxfP4PuSqYetAVmk4FysHng4qcEY90OlzIpod52dMhqyardk0864IHED6QxvRjFa74n/ZqXlAO0BglQy6xVQTNN4vtrpLNsnOl8Sp55/hM24GdOai9RwLm+VrLhWbYlLa2CbGMWHEfYD7DdOTxGPy/A/dKsPhuyGd4lY5ptIUNp0Qy1rtMB+CkRPdjwg6dPlHjpNStmF7WCwgLtui2kAynBbFfd0dG2uJ25KRlKZNQy0SXjcHC7l9uh7L/7dAiJ+0z8PWuTtJMXP/VY2CdmQGFXcOeq+w/g5/U/g02+NCzQFF74l95xozSJFkRKqrpykA2ZuOhkZxts7gKIsFBiuc6eUpDGabzKDyWUBjLOlBLXp6y+M04TwB3k8RwCrqr47KQpsm6LFaiCYfvahqPH6Rb0yKqiHbVeaI4ZwHH1JjWyT2ZK2ih5diN31zJ5j34C8xptXlFsgjJSru+155Yf/114VIIZjF8D7BU4HQmg5yCkCqJsxQkdEOPQ=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1759185829

%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

