%FILENAME%
haskell-tamarin-prover-utils-1.6.1-69-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.6.1-69

%DESC%
Utility library for the tamarin prover

%CSIZE%
257437

%ISIZE%
1432380

%MD5SUM%
c0d3a9fc0833cebd1d80e160bc29dc8e

%SHA256SUM%
fdf8feac52b97783b9e9d5ffae406aeb32f40a6d01dcde1c657aa33d576512f5

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmN7LTQACgkQeGxj8zDXy5Id0A/9G3Ts1VtTOOOBP2kRahsl/VsYmASTCXqkeFuf8AKqmWmNt8ZgnLFj9tycCtnmK+ByfuFpKusztLghn6vrunc11xdE/NtfCvT4VlrOk7tHt1N22TnxENdP6ENc9jZ7oLbBWTFZppCMb4WlX+MWual4Dmg94VxbA6JjOp2u8kUsm/3LNV6QCAIMrEhllsVBlvND5bZRMAaLX5k3REnhkYKiyqraKSe4CPU5g56Ia0Z15SyQz4e5mfyz+R5PuXMMVHi6R37HM8cZPWcbCG8z4+iHlvm6kEOIG8sMaly/6/A7LfP6zLA/V76iEV8Z1wQw4Sp8An07PxQMu0y923WtGQBTAP4qYsbJV35ZzLFQUijkX9RPa4WUJVK9JxKlXCpV6Prih/r4TqivuaHW/B0XJKODRe1jUqK8V4+fhF1H3+nnf3NjS3jCBhkYho+zCsVAo11yXQ11vtUiUY5mHCxMOVisIlyYckAeZMgvpvoFvTrBKm/m4t+LxIZ4Ni2MhVl0RE4t+vJFjN2pWzPo9A8UiTOS4QypdzW//G8hO4SNC+aUjPk1FVAii3Q/K5kwcXIls6AY2iYSCrGFbeZt7A3XZwASBIiNmh5G5k/uzLQB6T+9vuCwpgG6AtIBQ976J5rfSeIKosCUnSyjbuIU9yc4WINDINJ5r0WaxdY9omQCTonkZOA=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1669016845

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
ghc-libs
haskell-sha
haskell-base64-bytestring
haskell-blaze-builder
haskell-dlist
haskell-fclabels
haskell-safe
haskell-syb

%MAKEDEPENDS%
ghc

