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

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.10.0-123

%DESC%
Utility library for the tamarin prover

%CSIZE%
245451

%ISIZE%
1296995

%MD5SUM%
5dfdc0f14a78279c15f2d4129e5483b5

%SHA256SUM%
a11b72003f77ddd37bf8725df7ea14052562d2e7a4e6bea7b80cddc6a67c6a82

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjNMw4ACgkQeGxj8zDXy5L0gg//WLfx/12e3r9Y3bDNLBN9R3x8POhY+78vlfv3i+LS8fLbyGRA1b+2w0sjcAeT7NoCzxl0CZeyvtW77HDuIGeP2qAS1mbqtiKa2QW1697KS4BtSFu806syPiUvv1qQSH8zM0sWvNkDHR/r7NdYU0UsyGZ3EQOYCgl9OyYbXPO0tYqkGFSHkgbKQbBp8QzwS2GUeN00W9vKWwSxModsFAU47JLfQ8G/emzeBe16GGhOlFSu5cKmsBtndmGz3ACCeHVJOLUJbn0VWc68k9COwzsE2P+bTEFhQzoTNJwE2O6p5P4PjsScWEOVpdbFsfzlZWs2qCiViPZtIQt6km26pzqvy9PubFtoTQZZ1OiaSloVq3UO2jnTawEZHJQb4PEBJfK2m8nJSMdhewr3zppXYyX0oofgz6/foQGwM431HN9cDq4f6LSrrBDv28QNf2bBJKCZm0sKtSS1IPWVPEppP2M7nFYSWhJ2yo5pz9faaHy2V1Y3FA4Wpjjywq1ntZOsRwKGaCQfIrgO8zMOtHD7b+pjFqKJOOmgNxJDv1bM1jO26BDSlif2WCXQGSnKgnZ1PszSDpkwsV0WHZUgcWaRDrFG68eTkPNa6gBoaCqFwinrZm9mvYm9ZpJLdHUy2y+cekzXz21fWJNKPd0pQ8Hxz9a70Utg8a63q1i/taGHRteoDX4=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1758278387

%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

