%FILENAME%
haskell-tamarin-prover-utils-1.4.1-25-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.4.1-25

%DESC%
Utility library for the tamarin prover

%CSIZE%
219118

%ISIZE%
1354917

%MD5SUM%
c280ab3b3cec039254fb07e4677a1477

%SHA256SUM%
52cfd2681deeb4e6a453761c7aab92d13709a33f56f483854fb5ccb23a99aa8d

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1578156956

%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

