%FILENAME%
yices-debug-2.6.5-1-x86_64.pkg.tar.zst

%NAME%
yices-debug

%BASE%
yices

%VERSION%
2.6.5-1

%DESC%
Detached debugging symbols for yices

%CSIZE%
12269

%ISIZE%
724264

%SHA256SUM%
01a9a09039a19bcd001fb60f4f60008d18e794e85656c9d6d3526cb9817c5f19

%PGPSIG%
iQIzBAABCgAdFiEExdKm4O0tEcZrn6KjBjE5EQV91agFAmj8v7MACgkQBjE5EQV91ajOlhAAj+EvMStKVMBwwk2xiGzKoVuaHHpZU8Cv4DwgY/+13z6tgOU9bwk9QnsEz1+mg8DwIaZRSrfU/vyGVIGjS2sdJjOQtUTbu4ngbg9MCRoNtZu2VFfRgYJwxhcvLQ3Z8RkbSoS69PZtPqEnnqmxdLi31IgUaLu68/dgtXWSWdNvEWaRHYXsqlw71IEai205ydpYixkvUQnqPs9mQRlowkbJbZTWe8eHJa/pJRFj7tqEqUDFu2AluV0BFtCzVw3/q+R82JBCcuvGWO9f3/XPxJRiBUo7iuyUHYojLCuI18txWFFBPNg0VkRX0+2LkHwy78N7mbXSPGymAB9Adt97WLI6GEic/GaP3ttkttLTU4u79rCmJXcLeZ9lthDYA+dNwI8GWTbaU9bQqv66sosRQZ8x+1krYZb923vxEjIJ4QX9Blo2cA6FQ9cAH+c7J558glpizxFWQY2SAiroXvsUbA9Y4a6wBeY8GxdkxluqXXdrbJooACccj4uqiLdSqfgGEK9s9cYZOngwZE6kMSt2qa4ul1rQCItBlaFY0qafiooZvA/mPiQEJwaboBdQE2e4av/BGqVokMAA9Uq7jldXovWln4JAR4swA016NHidvl5D5ZE34swOgmAxq0aBMVw7ymxdy7n1EqE1GbvJOBb3A/bI1+PXZhKjnaMWKuvMnkKGh20=

%URL%
https://yices.csl.sri.com/

%LICENSE%
GPL-3.0-or-later

%ARCH%
x86_64

%BUILDDATE%
1761394290

%PACKAGER%
George Hu <integral@archlinux.org>

%MAKEDEPENDS%
gperf

