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

%NAME%
haskell-tamarin-prover-term-debug

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-41

%DESC%
Detached debugging symbols for haskell-tamarin-prover-term

%CSIZE%
638764

%ISIZE%
3736297

%SHA256SUM%
28dea83f419931e06f427f7a6f3a533df8d2129dc0eff3d4f2c4fc33dff8f989

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmozzvgACgkQeGxj8zDXy5JJYQ//WhIDaCW6+SM0AVPHdV82wg8/Y2zOgD+wwCqqu5cOL2EC4Ji+iPhR4Xd15zCxVoY+OwysKQhazdOxB7TK1RKxz55jKAJITe6gZ25dHjpXez/I8h/kuS7b0+oeF3ZTvKrGikAk3tVDs/qodvkVJ/SGjx8ACEU86NyTBZorj5633sDWOpOx0HGauwMXSjXN8L0qxZ5NWjLna7qtwOyojFDEZkeVOsoH4hfco7E9ZDPVtyX9I5Y9nyMNaDcQAyOjzp3b+btBbcEMxMcPtcEPSOlu4PebrArvZYPBO2Y2n5CBgzXsU+YPr28vtdfwTdE4yXVM8ujkLdRX8BM/hgMv2O5e+WniZ0fjKLY+U0Tw5wyZ9+wktFQllquGR2DNjHb+pO+y/PDTHBYkoeSnsLWsiWlGnmg1FiMXS123qw+LSZd8YmMS9hkIdr+QjZCJ6h9TtjSqwvBRec1EfrcfzdEzI/MLBwIORTRJcBBegMa0B4VEry4WocPHh0hN1v42itTGVgi99ep7p0rz2wZdLpdJ5r02++2MhnIvIPsmj2raBTeaHl1Kf/FbAPB1w6DAbJWttZIvQiog2zEjMe4tnVk4hYJEet/86icVUj52v2gUdiyEm7neU99uDJvymf5Oj1knYgSdSDvXGqTn9PXOkMehCRCvY3EYuQAdey8feog8/Zn9Y7Q=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1781780182

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

%MAKEDEPENDS%
ghc

