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

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-31

%DESC%
Utility library for the tamarin prover

%CSIZE%
243617

%ISIZE%
1268452

%MD5SUM%
d6467afefec7d9cc51607eac0d250486

%SHA256SUM%
f5ea652b1c74fd38b0152a11d0ccb73f5e2a707f7b63fe82dfbb7c190b2151bf

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoAugAACgkQeGxj8zDXy5KChhAAgInmiRIqy5HYkydCfndHUO89TOrpJDI4mqmkqLwxHViykWBk24TbNLS5seqwFLyEAfzCJoKTmg+eojDKZByCu41l2yXav3Deek0gtTTLOefim5PGbtK41vHxaerI9yE+P+kOBtC/aoIUuG4AZDHEqodwl+itA+FBgQr84UdFSuzSdgFFj3V1G7DB/9KOaNh4W0hCm6cy0LnQsEHazCcGkT7v3rnRp9j60/EyRuuUwSAtybPhuU/LSctJlzpbsyFjmdt62TNy0onjtXJRDae1mBhMeuZsNTz2Y+Ar4oM8nkoUxnOY9Gwih8nwuXEOT4D9u30Yb1ucDIay7k3p7zAusG0+D2YAMldpOS0sR0opFIbhvZUTVLTuth6GwmufG8F6uuSoGlXRtlMpPhzKL+LYAkC69/e0uuPMxN3EBAkOLxMej8amN3Z1OvN4K8OEU6BHIHdyQQUEZjnIFk09zPGG7HuZ97tbEC723UnjEdiMze88w85zYGPxFfgF4C+N6mVgdSKFfKQi7cb20NA95UN6DrdqCzZXbCDnYHwW+970wALVgxGkKDtz28gR/VxJ7iurcLBYNGFyCCqNgyQxLMnrdnNbuKKosrCStCBuRkyCBLjbXa775IhPMpwUhRTXggP6dDEEgy/PrZkNhkehDyYI59pROqGgwpusu1ZAmHFacdo=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778432499

%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

