%FILENAME%
yices-debug-2.6.4-2-x86_64.pkg.tar.zst

%NAME%
yices-debug

%BASE%
yices

%VERSION%
2.6.4-2

%DESC%
Detached debugging symbols for yices

%CSIZE%
12143

%ISIZE%
44416

%SHA256SUM%
a6c79cb0f9e523f3b2495f080f47e3fe77b0c3ca6ee42a8c281eda1c592dc153

%PGPSIG%
iHUEABYKAB0WIQRUwf0nM2HqUUojd5Pylr3lA2jGzgUCZpNMuwAKCRDylr3lA2jGzkRTAQCT1RftoiVJImN97wWlkWD5nAlTF+eu1fyiAhEoH8v4KAEAjeyo8T6D6TKqK2yA2AOJHZw7NmXIdbtJe3eeH3L42g0=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1720929439

%PACKAGER%
T.J. Townsend <blakkheim@archlinux.org>

%MAKEDEPENDS%
gperf

