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

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-62

%DESC%
Utility library for the tamarin prover

%CSIZE%
243749

%ISIZE%
1268369

%MD5SUM%
9c0293c24ee7c95769ff10dad187de96

%SHA256SUM%
cc5cb48d636c240c8fc3ca0556d693f3a6d480abf6b0e4aa5b37f62494bdbe5a

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmpHHFAACgkQeGxj8zDXy5KLNhAAjr9BSzZHD1O62XJaxldYpvnhHTI1Epa5Vi1+OyA2p8OEAOe08r2MfLJES7k0sCIpFOtmMlszEfmpOn8tKCQvbFvntgXZ8drd6JwNWsCp3+58ZlfS10cX3BErm5Ko1A1DFIlye2IPRTXc2PAgFbVOcV3z51L8OAoCyEUi59aghJAuU/vByIGc/+zbz5KQgVsgc0N/GqRXczWdJ5D5rmivvUByHmf7sDsDnRLPsVA96vCOs3xTdCZtYw5IDHguu75fPn4FL44PLgkFwO25fcbRGPQBWkM4zjINjZj7ox6mMxo+q78Ok8sk3pIu4/ajrsUwVPMuRhpo9tuWTpz039gwjk/y53ieq8/a2eJwBol3XbJElf0s7PwCra6CsWqHe5MhPYFcw7o2yinTaeiNxvNObRI2htAvx5Xm113CDtwonfXn4ybZQOzx5ktgvlvcASxBW3AK4FAvBIGCGK+q6Kn64v2lm7pw8yis9f2nkqADFp6UhSJCWEjH4mXlrxkc/lTziUWUNv1EqOn1cB9SWgBsOaCyn1CrGPy1CwWLZKf7wWwFxuiVDsa47QDTsxKP9cCUVS7M2De9/I7l9MYAyzLef/xhu54iPnYTNevNf8FZK0OBkwFoaaVfdnO8Pz0rGMZ4CZKNWYN4os/6PGOxNvQroMitCrTH3tkDe7GcCG/mokg=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1783045181

%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

