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

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-34

%DESC%
Utility library for the tamarin prover

%CSIZE%
244134

%ISIZE%
1272469

%SHA256SUM%
92c8d4fa80c34d9d6b32b95ba771a5d785bb8a1d2f3f5aefb95484667a0204b8

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoEhj0ACgkQeGxj8zDXy5JSlxAAs42+I2zXqTOgeVfRKqqxs9bHLgcgakUBsUW+9aDhQn9zqi5nvhDFXgaFzLdKsfBH1u3xkdfN+s153ZWy9J9QQ6hG11uyZ8mO8/P+6blvWARLS4GyBTC2SV2U2dBfMcjPXPqRKMrnp6cIKTQzPjQSArfgfHq+dGHK/hBgpId3S6cYZdeqabz08t8mYDgCcUrnxtM9STIWvTQDxvx1EIFb8hv72N8XZPXWEC+qp3a1wZ0X/UNIVC9p8N0ZrxzGc2njKmK5v9+XHoi59N34HA9OrP5MYMq3xqiNphQuINwnOKrY4TpgATHBJWcwmJrGZW78DQYI2hcbeH2iDeM7wGlMSEMLOayHdbkd/HmqVl8j2SLujrcPEV3N5nwAVKXm+c0RYryGB6LEY4Ojecls4WNaYuXYTcnjyNbkdpsfRO52aEopJrsyuS9iEEl8CIR09xTu5p1VARARWUHluXC7j8eooS1Fc7WRPv7PcaFLdRnuxsmz4ueRxyQmTMOPNXBD5/4wRUD7tH7UEMBXrYi6XoYs/XQfxf7LntAOhanl5gkL8y9asg3rtU1luRpFKfDAt22dwuPJVFp+mESe6BmgTHJCvk36PP+xr3pvs600QGyXz0lP7XdypZnOdKS53k+LhTyaN2tVpKCgLJsyo078bLAgdH8EvE2uHXSxjNqFzf4NuA0=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778681282

%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

