%FILENAME%
tamarin-prover-debug-1.12.0-102-x86_64.pkg.tar.zst

%NAME%
tamarin-prover-debug

%BASE%
tamarin-prover

%VERSION%
1.12.0-102

%DESC%
Detached debugging symbols for tamarin-prover

%CSIZE%
6140

%ISIZE%
3064

%SHA256SUM%
306d8121970d5364bdb919490b85cd63d4a6e02ce7ce680ba610cd1b3dde1723

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqTSu4ACgkQeGxj8zDXy5LaXA//TShTCEw9WZN+x2BVpxY5ZqvUT6087/VNPZHtndtLWiiIFiRkXsiz1Ny65H7Ae+6s/HE1uTjg/OmDNSTf6bNcDDYxAQnL3LDWnJOdSJf8P9glQeITfaI75z8J4QwKZ+fZJ6slSL2a/FrxaU8zOBJnWu4u78phinDCGL7szgjtCmYSBP5m1mY6Jw36KyIxZ9cARqC0xaog0MW7pUJLls02nt7cq3VGqfY5dGGu8wPCrziBi5bL6R9MiI0PQLrvPVWELqtiST/hPo7F+Qx4/3YprxvfYDqbcazG36+6MPZKiKOkPd0WydoaGaSxnjJ8oOl0O7JoTKcUYjDLey7OqJ+CvtPdYRPMW7auI4fgSv3CFdN7nJa09LLputgQWPY0IHk67BZck+seR2nj9l5Qh2h0UpKf6mjpoNqrVlLWkc3VZASuVViehySIsxYiRPXlnKrtSYq9f8CLMqoUM7omu6NNeJXQ1ZsdAAfJKc7+qRkqARWX0o7CPN1vEaIa/W+TGxFPTexjkJ3IhCto937escPQL3y7V+K6nTjqjZLfP885ZiZedCP9Tc8ZatOmQreIELnIs2Lz2/7hOXozYWSVC/yGYPWzIj5vSiBv2VZsy5foz/Wd8j+pjXVVBDtuPSWKdetWYsR4u5XFURkLHm5/AhGN/ufpv3K5DOeiS1r2a5HNsek=

%URL%
https://tamarin-prover.github.io

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1788037845

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

%MAKEDEPENDS%
ghc

