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

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-68

%DESC%
Utility library for the tamarin prover

%CSIZE%
243705

%ISIZE%
1268407

%SHA256SUM%
860266d6191ea3f8eb7fc5b43de384758fe2ba26085b30a00e7133d6b141a5c9

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqVUUwACgkQeGxj8zDXy5KeRQ//Y3Y+QyIWSSUiHbhgrO9VvSzOWacNADCHe/Tc8dNSZKw5k1Ja+Ym+Z6ICYaEAe/z8bumemPWWxblZk6ZL0eBmUwnmhi5wlkU8gpkqAnuU9RoypEWYzPMYbI4ZyzjamKWpYbRyOPYKhVXWXgCxnwWueytbK2pnHnO9KwZFpernq3TAVlX7tOpckQQx88XW1sfe85g5PLL1wS/BhE16B4TFFdoDmuNk3/eRTIF8Kn8El6coVomditEQC5gL8np+t+QM+kqGLz8aP7gIISjPfsnAq9DRn4ZognF2lPeUVSnPx+fZErS1l3ZkEmSTaQpfirF+8ZVVr494nzsf8fvRA6EduIrpM9j65RWS2KmiJ/3zwhLv3Usd0uRkoS+VhmH1Y6yKwQteW9Tvg24LKZGMqwV3dazBE6M/JjaBKyjTFQA3s0G+eDgeSAIIs6BNIB0SQn50Vw3YkfhO6u7P45H8Y3y73r6pE7aqwktEfWO5Pq//DikhrYKnffzeNFEvWS4h5TBawsyyrSqVn3vWKXsT+9wWs4CX+HZRRedvSKTmao3yb5htoa6biW7UrmDhJNIrjrbsvt0aZ+WGv0XSUKDe5BHFxgYlfQ1nXQM1ddtv20oNC4cCxtFvcB39s3nd5Bz+sT43APNDgmz7x7c83W4vLamNxP4RkJyoYTfLwWxMihd0xHY=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1788170553

%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

