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

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-70

%DESC%
Utility library for the tamarin prover

%CSIZE%
244011

%ISIZE%
1268459

%SHA256SUM%
9bd30ab0034fed5fd7dd0e622a9e01857b4f4add8bc4f4b380bcdcf48880329d

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqp8QsACgkQeGxj8zDXy5KDiA/+JaC8g4CAplD8PRy4icsATtjgeNpnX+L7FO2y95fzWwI8GI9Ztj4yknSnhGxqA2beVJP3QQAS4HoexgH+vNQd+dC+ZOLkJULyvwC/Z0pgyS7NBVJ9z2TUlZRJTyt5IZ/52afogW1KuDmCmVBoHytfIoRpn7OHah8nAfxopB43X67t4kmN6UnxEE6QnSMiHJCZ9QyGUqii4ev4tpCLSOCA+WmVpUHKtBCuWO9CsaFGKXbrMkTgpwmefIJuEBPFECxtDSxr/+DlbcMTcl2i59vTh4L1i7ZHRbOyMCUGjmnB7yp63AuV3Fs0jdwK4DNw5g1qhlJzgLw/yVUDjFExppiwH7sFhMfICug0Vu6A6m4/gQV6eSh9aZKzTKTvryxmEJNUPKKW5NhdJAcoIuL5iFXR0JtpsfY1BmeaqUqN9LTv3s6ZTlVJQsQ6hNw9JhyfQwcPHO/XLhYGsGnHQ8FYHTN1ufPHmPCa/s/3r0lbgtJ2GXQ5iHWXFdkR6On7FiKhIrzQxMy7JJNM26RHxevFQIW2xKFgRYQgOQxp7hxbBBB0uT3b0CxG/jVbh/WmIlcGqtQn3emsW1/sIH3RlBrGwGu9qifRvP8CAf1b1FFy5JvfWLxd7puFYEkfhzRUucb8Wxzg5Ayhsen0XIYG35n7KrCJJKCJM5ughQjmIXXRe8IYYPc=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1789522167

%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

