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

%NAME%
tamarin-prover-debug

%BASE%
tamarin-prover

%VERSION%
1.12.0-108

%DESC%
Detached debugging symbols for tamarin-prover

%CSIZE%
6131

%ISIZE%
3064

%SHA256SUM%
080cb102ac73967a42cd67e01183c2bf5e428498d266af37c170929da8fc53a3

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqdhu8ACgkQeGxj8zDXy5JtShAAkQmyAIprGftIpo1RB6V6xnVJC2Tx5aKd2/wNNRQJ/msmYeUywjzsKjUL7U8nYdXhlibpDkoFOzQFSTaWsGGdGXb9YpHzwrGFAMa5GFFHMvLDbqFvqorspg3xogN5xQH43fn85fVUV85RmWyDmSvxm+euGN++9VzyJGfOljQLvWJGnYB3LgMVc4l2ATdANHcYzY/Hp7TppKmQHRzRoPxnT8VSicDoNy74SgwB2t1byWLb25Re9GuKP9K4vPwmF72HxFdtmmt/n3/hWjAWwW9t8fx22idm6oItyBRh8J5cj8iupoemaos/RLiqD2AjBPq7kGAEjbHx0S4DCIP1b9RJJnOQ2NJyaEbWDwYbgncHRs9wuJlGlzGmji46YHukvlVmiabSzbhC+ozfhEL1CnfaKuplIEc53Jcxed3ERapQHwhXQ1TkdqI27bj7IVCvLNvQ7ZS3uNj3Fk7Oi4ZnJGBdFOP8nEigXOKtGT+oFFSdZxsZiW8sbXOQxrl3WHFuHPSAZWxTusJNpItu8XSQ7CDv1YGvyLE4whtPR/8VyQg0jENWSOXtHf9cQGOeWo87QEDHMY/QsTQrLYn10SSC/p2UxOm4Yp7vF3zMW77Fvv2FP4c7Uo9zBxJbDxU4sJBPRmynEHKYp0lUHQjsQJhNSv5nlaE5uiomdDOc6znf5LiraE8=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1788708524

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

%MAKEDEPENDS%
ghc

