%FILENAME%
haskell-tamarin-prover-utils-1.10.0-107-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.10.0-107

%DESC%
Utility library for the tamarin prover

%CSIZE%
245201

%ISIZE%
1305176

%MD5SUM%
34ff6a35fa4a1b6715ecf1005eae4563

%SHA256SUM%
90eabfe9b343e7084cfa2776673551e4ac625c65bc38523b2c172fbf74678137

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjByYoACgkQeGxj8zDXy5IBuA/+J+JXVAB0bHDaAXOeaXYPk01QcanbZDK6spNZBrfHbXprfV/Amfoe8TOj0Y3nWdpHWptYjn7TV5XD25iJ5pw2kb79YUM8f7BMz88RJ1nog2w0pzutL5J9Iu3K8Vtq8jhOgHs4blZ9EBo2TUSMLWcbiQzy5CNftctrYgrsqOVOXqtiyLOt3G20S9h+Dc4J1fvPo7//qMHARgRjYNrOD7BX492usKH2T1cEokBJzui1A07WU3LTWsGTdBU0xu/MGYKat5uQ1WTWDKunCAFkvbAIyh3AWMUnFIPEG9Qmj7OCzYigRDIVSCarcD6yXN+Q+CNzqEXk0OO+/+guzfL7lDf78jcfJ4IfrIDyJ+P7lSUPDgJ6jKzCj5+IT9cCXLB9TArNDHqsPWGQB/tlLrYYnJVpOenHhpWhknJqSiRnZ3ps9D+BGiSOA7xesGB+89jz6RjiPhwi8UxwbGMirVxlxVCcIXWOyUWELsrYD1be93eLcqcTIuo/ZPbuRqyfWRHmmIpARwU3jtJzkJpk9cQu0ha1V5FFCv05BOcVvNurRv4cXCtsP0R2kWbm2KwXdk9V1f39wd0shdFxuaLurxHmv/Wrnxvzz5tFK2gsFPEqr80q62JMy7kaaXl6iPoTrkDPaaE1w4DOsd4xbq94oGmAJZU7v+/rAwXfZI1ZDGgi+97/K0Y=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1757530481

%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

