%FILENAME%
tamarin-prover-debug-1.10.0-226-x86_64.pkg.tar.zst

%NAME%
tamarin-prover-debug

%BASE%
tamarin-prover

%VERSION%
1.10.0-226

%DESC%
Detached debugging symbols for tamarin-prover

%CSIZE%
5919

%ISIZE%
3064

%SHA256SUM%
1c85c25e3249f94f7fecfa79e5b3e13ca33c1150b0071c8a956ed7e60f68f257

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmk2yk8ACgkQeGxj8zDXy5LwiBAAkgy92tqb0cW1S1uH0kjnkq1r2ELZKpzIQrr1EDzljlr0HbFusfEl18EQjeGRk11F16+Ip2MENrqWUFZzthINBqhEtS4uSeUBi4JdEqRjMNnA0bbIRPlfG5QQTj6hXIfJx0pZ6r6t/L4ztLQ/nCodchTfopkCroqjEJ2ongmmvEAmyvmfU7o0DdOrr/7maMYhJOT3N66JSgAPalhgHL8fgI4sBHe295wYG7DtVfa8Rxht0f1hnRL20MZJsJu8Ij/QScRmXK+1w5MTDTUwlQVd1faI095LssPhRm8Zr9WmpFlyu7bAD5Ns0TK5NjxVLZr7xhbvjqvixQJDvD1yILkbKg3F2DyBMY7DkQ0bnBhZQhCicyQ1W+UCoiaX1GAJ9+HW5RD83jXZT5dcfOtxJBSoC6gzv2omlPhnKxHdPhET0pTUaAcw9olQzhFwnsgDLtAxb72XyVf4JPMGa4sLUTV0M0E+PEEy5ZegbHymHpUd6SLhy54wkwZdyBGGX3bZxBJthMaMnfB2GWsCAeMvU+LcDTGnIr2P8eI68zTF5vHtK+UUhfrJ/ULwGmUBrGjjgcjhImQWDZllBwmiHnVL4aeVRV77L+N8T+yC+QJ3xaEXHTSFvAsN9t5z31WzQ97VHq+VP5BIi1sDgSoSyszJs8Zti0ShpvxfKUqFaSZmjzC5xxc=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1765198363

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

%MAKEDEPENDS%
ghc

