%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

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAl4Qw8gACgkQeGxj8zDXy5Jsuw/+IvZaCMY8ZnWBhS2lT3bXylu7pyiV/zEPf/enC4VKucXUQ1moiXEtOWPWakkjbj37wAtuHlJXF4x6JFnrsKFbT8Gn8DU/2LK7Y127VsnbVYBjEp/sdq+A8v2cZEkuKl/T8FFMfO9LalzIvSPgAjOymg07kiGjkkvl+2cehYhD6cPf/ZXYSvw1uITiV3wdpz4Qa47qdLWZqX79KMF2lriuS+vd1tbFIp5PoOXPusJXTpaqkWaeriAkmPMd3UAzJxC3sOaymK3WUVmQCmZS7kDbytA3DT0+V+th/eq8e6hdoZMhkyHNOU5y2pvQaxN1bczfEt/w0blLXXSFNJZeXXDsTW8mXaD0j1SLuqRaq2u6trEyEqT2v686QBh++fvTOQu9GXNIxOnw0UPKGQAQTSi7k+RFjlIaBynuIqWSpM1/Wg8NDKNBM6XyTo6uNtCLQr167wAWCMl1IjKp+/2aRxFr2EVQ5pG1wd2DpIMHEyLW190IdLwo2iGqhQtGF9UsBLO04G3DBzn4B391yq6ZhpaxcK+PhK6Tl5pTT0ZuNowNiFRydA9esy57DcVf2zMBSjjk3DWQstzVNKAiNdZF5fgLuw6yU9Ihvtht+l7JjtmXpDVSW2I5rClxxZHRsRSDTxIFYZPra7Wv06zPomULJnyQvmvQjR9iFd814hh+malhzO4=

%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

