%FILENAME%
haskell-tamarin-prover-export-debug-1.12.0-78-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-export-debug

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-78

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

%CSIZE%
266913

%ISIZE%
1213013

%SHA256SUM%
8ad60871e35081b18d493815eb6db52c7f45195de17005b8f3c6e8b87a626b7d

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq/FLgACgkQeGxj8zDXy5KE6BAArLUXAUKj9wZiyywY0SVhrOo5IWmHNH4AnBaODCuq29tRZVKWL0f57R5+9CeY/tDu43tpyglJU8BEQ+3f4Ot1AZUjiYRGy4NoOqzymXi6Y7brzkka8VBSkmiM3dXOQJQkH8gUf921AF+zal2pu31ayoxMoinRRFnHi019QcshlzIRfIndxPQ91ExFbcEeMwVe4/zzqiKS2I4x7U/bSUPDYHvCxpA5Z2XXjPrz5pDfIq0IKhyKM7Zen9/i+Ryq/GNoW7GAijOOgmwgO1dVptnURg7fLsMaBXv1dpj6UdTkXU+s1BHG6YbNkzUkioCL6W4DQRAx90m15aGZ/df8Or7P/CYJ8cHPDK+tQkqJ7mRecLIzpb5EW5uLbDEab2YwWpa4ZwqBbEo4LdB+gBtRjOZ3lauQX4yO0RuN8ljIqiCWMO4ku+VoILBhiu0exf5T0E3IXuURKBG1qxLLSM4nFtka0n09C/hU4pGlMhMMAJQzlocNe7Dn0f3gvhFqQKYs/B6ypL9QbhcCtKDbglPKBDsHU0lJsxiut+Edu/ucWrpCEU2wIjxoI7QZGaG331Pn7uAMYNYgWANvgMDwBUBEtO9lgqcDTmomUbRYN3IOvMUeLXf6vDtVAUPoWF3VW2ip4cCcxg7FMMhrZGWR+SO+G4B8rcSPUjjTNkPUse0IasKh3cY=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790907548

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

%MAKEDEPENDS%
ghc
uusi

