%FILENAME%
haskell-tamarin-prover-term-1.12.0-85-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-85

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
744183

%ISIZE%
4432883

%SHA256SUM%
cac084357cbd397b7e1d301e752274fb99bd4e980e40ff734c7f98a3a5c2d890

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrF9IQACgkQeGxj8zDXy5IqOQ//YYO9zqO0kuk2flgZCdIxXiKtb69E9L/ciIrBFnIyGUsaK12WLUZSwz0KEtBiX7UVnKDXG/BeVOFT87HMHRK1WrbDX/PioBNiSUUp5yxcXHlU6inWyiKMpTA8FTUaGpGGaEYGXNOjA49G0GKXqdBoTTdjJMxyvfclEXoKm/yJbj9CQja7DNMsouBzaCw8xXSMV7Za7B+qQRtNe8GugkjfBujx8p8I8NuWSSzNp8gOmBoC8WiH8jsxw5b7+84waDoGnCqrY+TVaryDGJ+Kx9fFmkDXdyjRgDtDzaqjsoPVVYCR3LwmxowDo9XRy5MBJYEK1Ky+y8i7xgyAWxv2v61nUgZrhL676sbtPtTILxn0aOGDc8HmLOc1ifeTUUkLwCM5RHe9l4eRP75TnRy25ok45IiU1QRyz5CESzEKujL0YvAQE2t9IZ4LXg9YdVgRLxZZ8YZ51gcrb/KayGPhVnvm+yN2u7UPoFs/XG3v1thuQrY77wTkjZNbbERJSK4DoQwa+UmLjkvfY0MEmSEFVzWp9WrzxBVPSCdgAMfZ0cx2bcowvZX2kZl6R6eTJVNoVM5CdHYGnbF47PwM6SJzzKfDuGsMARRrnKbMvYMv0G2Y9oXC7tuj22wwdqBlTRAs6wY+v3+57Ji9aHK+p7Tn/5hjbw+QCLx2ha1CJH6fDNMwJTA=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791358042

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
ghc-libs
haskell-hunit
haskell-attoparsec
haskell-dlist
haskell-safe
haskell-tamarin-prover-utils

%MAKEDEPENDS%
ghc

