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

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.10.0-140

%DESC%
Utility library for the tamarin prover

%CSIZE%
242809

%ISIZE%
1263827

%SHA256SUM%
613c85293ecc128445b73bf1c0b0e2090aaed0fbfd3ff7435b5a26ab0a3ed333

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmkstPQACgkQeGxj8zDXy5Iy5A//f7o60z0kzuXE7BnSPyzEYLYeVEFBcZKUjfN7jLkDCTvN+FNk4eruTjpfJXmgo6H+eQymf3gMcs5wW1sffQeO1g8s5m8DA5If7yoauwu8MjS8lX2mPYooTV1elJyF1DHZeQT3w4XK0OkDL0DDA11dXgMcF+j63mWwE67w1n5atBmLeboWFl/lBZLiCPUGaJ3/KmmoH/DAMj8z1MCsKDdN3v4ZESXp/c2MRvA3Ua5TrB1ynGJQ+GYpXkS1N5KxxTipmSbxCzfzZiuDpA4/B1QBJxB41g8Qzf0Vz3rfl/fzY8d+j+tke8vnRNNYQl9SUUq1j3EUlrswuANLm34g71YQXkN98blx1A4/fQxdX/dlT66iWs+ou0mqEugX/MpGtuelKUm0qnbpVG13s8KW286cFcFnTlIo2d9q0O60auU4AWV53B3VKC34ZvotJN/G1wyPcFzk2h7fr07g6kbYh492bvFC9lW4R712GBogecjHFFFMvLfJdv6cxLC1gSUh0sGzthvjtP1vnPmRn/dqJRg1AKw9WO+XFt0fVnYduelJvsWsyYPH3mwB3C3XB2inSZ+tAoeF3+RqnUikiZOMqf3Pg5aztzYvlHrRMEjJ3+6Q4VWmA+6valqRpSW4h+i57hwpzBNkGSfi4Xg+FC9Jax+Yry023aORFRoEhgvB6NocKAg=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1764537517

%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

