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

%NAME%
tamarin-prover-debug

%BASE%
tamarin-prover

%VERSION%
1.12.0-99

%DESC%
Detached debugging symbols for tamarin-prover

%CSIZE%
6129

%ISIZE%
3064

%SHA256SUM%
c90457dd3feb4d1923112105d67af11935dd34c37c1d5355ff60c36b793c7315

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmp8PEYACgkQeGxj8zDXy5JxZQ/9GEbejQoDLalOAIKr5hd96DAO0BTxW9BdDTXPODUrRqW0fCmzFkETZYhbf6nSAYwkX6KbSVFPhlxFkOXWpIMB8WyWh5Hazb0gop0VPWmz5k7h2LJbUfM0UInk2ig71fK3rQHrIq94RrUTWHbOoZeOsHbVAsoE+D5n9D6JIbsKOLHosXCK4PoSM/i0quWHUlWSaXI4JBAcED8zI6ZkCtY58STfGKIZW1pNyywWfXTIYRnRs1KzY1OgZSm/cbogrcFc1Xm++pyfBhrUdE6Ne8AjEYGz5t36QEH9olCFtmmbceugB9Q7TGLEnwUyjrx8JBnPAsNHTSWtXyF3iOueXNd7ARo9Ykj45WWNPaUH264Z6NIruM2jSxZUFYmxoZCGKi1n6+RAaUXaKTpnL6Ros40JwobxRngxflCv5Av8EEjQ+ggzP5ySShmceOjXZ22mqDbuArjbvkqPFv2fsg5p7HIDTEOU9y7mx4Vd7hNZJIa0ZAE9j47Ogyr3fn4QufrogHrSS0nAyzi6yNCwjb5rHdtTDfFzi32j4vVE451xiez8Eh5bR0WHvi7XTcKiOrFb69u3D8tGZd6Zn5G8nVHzEDy+pPKnMmppl1tlawdc/DCdPqXJhtFdnCt92so7kmUjY7HWYzfA+nmYNWWvz+jBtXA1PJ9LAXPBuim4dRHJs1cTnZA=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1786526737

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

%MAKEDEPENDS%
ghc

