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

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-44

%DESC%
Utility library for the tamarin prover

%CSIZE%
244145

%ISIZE%
1272513

%SHA256SUM%
4082d52e41089b38706e9d02e26e2dbd9f99b0137853087d293dde40f847501e

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo1iDAACgkQeGxj8zDXy5KKOw/+KjryuEDgDUwV6mJ/az2HvRSi0p+flZGNz47BO6xagnFJDUdga5YPCXm9CaQjVv2FmNEhNGKH5uhlAPj0Q61BzumxPfSLFXnVMfr5Cair4cmsF6KlKZKRqUuO1mxsmne0Jfe0RGYvqfFz/geSZyuOjMU7/xZZGVGkIahmOirdRWubZQ4vgOmE1v+zOi6btbdRG9+KTGAlADAmBat8GZuAQ9WS+u2cQQ2F1r5f7zRzow90SigMvusgIJBeayGp+WwUIlIxKfzbXSkQq9AaXWESEArqTi6vA7jhFkNibHYJPs2eoIA8prijxjfSFdaDOu7r1tnha93T7fMTy4qJFFxeTGnwqZimY8HVZz3XYxZAT5xI3JflsHnIFHM4G+PXHtJCEUWr6VOu8KTv06/xlrLC5hHdKl6U3kKyoD8isQbZyV4eBWZY1Zn3t9zO+wKsjva0r3mHb/KeZ4hVv+YlHkENU/Ajkjdj0CSZicuBrQqCaIlLsGaDofVsS5GZrakeJKxLXufFTLCy3JtnHdBdfmWK/zFzQuzhMQuKmIzsN6tC/qtUHRp8AV5F/3mZNrWjaEwdIyAe9r4ba4MDy8caIPqocYKy9oMpqExNvswYBHH/H4PMvqjwlUjH5mZmKGIhdaDyNM8nF9Vzs8UZKHokQPexipBrCNQpk7mrAd4T41nncTY=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1781893145

%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

