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

%NAME%
tamarin-prover-debug

%BASE%
tamarin-prover

%VERSION%
1.12.0-59

%DESC%
Detached debugging symbols for tamarin-prover

%CSIZE%
6125

%ISIZE%
3064

%SHA256SUM%
2c03db2ff54d9b83282b8771c32a7d9484409a2a4dbe36eb7ded577f13d817db

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo0BFkACgkQeGxj8zDXy5I0Kg//TYSpowVzHLuQnFpKf+PZM/lJWRs5+TRk6oD3eW+ctw2T/sFMJPZKMiqChPe9Ruy8jnWrfhAxcdzH0cEtex7zH7LybzDjaJ+A2CTU+rLA7ZfKOsknoA32KskTCIUHXO93sUxjYy4idywMEleF+4x6ZiOGk5GTxZuuOwmmLSHpMyq8szVg3NMAvMtgppZrRtrknHQgygwyh1nXxZorLkzjCiEt9VJVNDtpUO5FvDNVnYofMlImpU3xVwwxDcehxHIIf3ht8mSsewlyno63vgPuoJxClsx2U0rjq5ss2bjqZlbHaSq9flEwzuNJkIQ2CIpxP2u2PuxwQtmvRqqh3EwcAOWvccWLZpEfLseVMyeJsPU4JHu8YqrLtbPRiqCMe2Pt9CZymZ6f/7Usza2YeNKEuSO7yYdkZSm5rI3D/qKGTFgHXOIgQJjnVjRMsl6K9ZGfPFmtm71VflFWtASa887LDZiPpp3nlE0cfDiTDIlPkdkuQEs7QLaJO+/LUYFiEQgtyL7t5EvcVR6NJu2AWEvapgOYdmOUNPxB5SkL/f+9bnRI+DOjU+nqsZRjSuH/dIZj90fyGAUd239qr3CGBPyPeHg+hfdk+nu+v9A7oiTuWkCY0J6W+NR7wC1vpl7FyxkeYeMHieidX0cbl+TS28h7tIGKt1VLj1DBT20GdYKC1a8=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1781793841

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

%MAKEDEPENDS%
ghc

