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

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-95

%DESC%
Utility library for the tamarin prover

%CSIZE%
244002

%ISIZE%
1272139

%SHA256SUM%
aad20589334f3442f6b2282d078d647b8c0ce95d85b8075366516b6012942aa8

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrbQs8ACgkQeGxj8zDXy5IPeA//SRac8NFDVAbP3sioCc1LW98dXEpXRfOriqUd1vo+1HpkgEkRP5kM1eEFDaEs9cxM7fAS5X9PhCqRoB2tR0Fnhg09K/K6vwUUrxf2zRmESl9u5iPphzM3Jvjti3OECXU2A26b9ecJCmHpsH994eU0+TEBXPgybIZRupEwUpG4YeMUP+tAH0JI8HqQQRS3UGccXxx75DJJGP4x8A1GUSwBmdhV8fJvgHyq9nva8Jn9s1Vk7Ocgi3fwb/Q755JuqLvfD5KfUxP8B4cfjRKQyyh2XXeAND+XXLR7m4MzerDGpLLl6Whk+vsdcbnvt7+fa4y0aFJOEckWD1LOcC3TJ2T9vdZOuoXuEHroOfP5p+SYQS+qvsRgZp8xaNdWXtQFAf/mRyJrrsVOls+LPMErFT+iH6bhCFDa6D01iaMfUEXt9xJPMo1AcelaGot/xN54a6ZxEH6ama8xwp3Qw6NgmGkZw4EAbiDA034RNridf6lck3bmEhOfD2uIurXPF+XV1/5MXUz8jFRaHMvGghg23mqvDBwk3cAGI0zpY+MiF0qjCuMTjDcWS3x8Bu2x9Fv3bY+gHtMvPBDG48mHl4UBAWlcxCjZq+hNlkrt4gR9WL++XYP1nctMShJiO5pUe1gLu4T41cN5VBjnbFSloAJx+TZ+CpEqjA8WSSoeARq7uP1XUzE=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792754315

%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

