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

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-67

%DESC%
Utility library for the tamarin prover

%CSIZE%
243940

%ISIZE%
1268418

%SHA256SUM%
a6f5187a345e25b1ff6196c1e977477f2ffcf6ea57017570da047d29528a59dd

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqUOywACgkQeGxj8zDXy5IkHA//UfD/Li+tYSS4grJGocz1+dX6s5JzcPIOalirX4a9gtsbkc8JBQcRmPxQw2ycFxIKf9tXuDyk8LnLs+L4PBCfb2wACLLNkt4N57uqAclB+6nm+r3AbBZ02bfx3lEx+xYRhASUPi9kqniKTiQqY7IO8pSBnU2yoa7DjAt36Af33ssKisBK6XKObeauL+jgaQhFtGB+Y2+8KUEiAi2DjxsPdxOnVlan2PmlP/YIlo3unPtpOoPwBKQB10g+FmNGPHEsAGu+vOwu0ZIIBHmgwvCN4EdtHZi5tn1QhIPWs0oyhYDAAEZGkYd65y/VfSfRkfOLGB7Wkmsaaap0W+9zAnf9ZDtIwIL4KKNO+OD9CHOrnun6VsRlUd3H8lKsuLs9hal+T7zzPCryYBlUNXXGFofKRba4eAHgfztXWQBLAL20hTlffzmEBbTKn97nod1rn6RYXBHoAchW57ZVxLJM3tkOiIqRTqLUoB83nE7VkHUWlP78s5IOnlh6usU8iKM0Qq7sdveJVwGawSjXwDiyviZK7cNFFn+zNmiHY+n9oo0mvXAxBgvVuM7PtKDGICj5Cn8+DCFvPJOJx2ehVuzkIfcL5zmRp+y6iX54iqnVND5h5gTfx6aYQjomZ6CFXAxI8NdIYZxPwIyFPEO8TfzsRToF0rXkMqIT/pXfWRfr8HTmHXU=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1788099339

%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

