%FILENAME%
haskell-tamarin-prover-utils-1.6.1-67-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.6.1-67

%DESC%
Utility library for the tamarin prover

%CSIZE%
257720

%ISIZE%
1436464

%MD5SUM%
9b2b2d3515eac60782fd0f3c5f1640ce

%SHA256SUM%
023c2d2cc9fb54c80b07e5626ead180fe790eeb0a32b66704a13407efa9ce722

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmNZN7MACgkQeGxj8zDXy5I5Fg/9GlQC0W12C29XdX96rfxS/xH/ZmglDl7LP35OVDzK+wD1N9v2xB5xltnF+utVEfqLBc02yCs90aSjLBQ4wMsS0Oto2OAB3WgdnRzcAJ7FS41bTrL45fYQJzPWV0uXDkRZnxz5PJ7dNzj8xRvm6OouaT2+DsQ86/1+88Q9WYY79ndDM8X8dwEudk2iTVJuCwG4WtrWW9leX3NVx90QFzC9Njb66EIsGtRQgl8XelTIYUQJ5+MwLCJyJzpN3AOawrladAr/6ZhFXXRHyX1w6rA0+o8UpxY1MFWNVgCPvS+TVI2ZZmYaOgSJ01JgPrmn7sAkw+WU09GdbaRhDUqejJTBMvjiqqE1g6FbaVhk02UIXwYcBqpEirXDAT7b5ad2bIhIFj7E4F8bAXyY1enA12179mAzrUguj1LMfs068YYK2AZ+2hseXPEsnf7Ezc9/50qLJiJ1ebgt3MTAvicsPCcwjE5qLu0B2PymlNBMsfA1jshLL01LomIHSZVbiJeWYEJRa25hK1GQNyLi6kY94EiGzZE8oSSGj7GlHPPZ+l4vbKBFGJcmATJRR9inIxx4qNWlLN3cGgu9Z48QSR6ilJWIh0m0ynLPcsHaL06zUTEl8ds2ctNtszsKCaSjSDj/zzSWGyIllLeoG7t+vMsKCOd/vK1bS5ehUUDY5SMYmRI7Yro=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1666791299

%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

