%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%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmeAOugACgkQrx0hme8KPM/I0g//WCmHWlhNVMLc9VE6k5pdLc47jBQbvYQyYRCY23vTuidnVG87PU5/zvzDhbD6K2wsA1AgUq7kZfbcYc1Vc6AydDJ/r/5ghuxjit/g28rabEUG09JGT6IUK5oDJjTpWxCMylCmcYouiWOcWa3xQNIBgJ+8+znfT9vwlnbh2Gl6llomtSIfZE5BPdAWr0U2/UZ67dJniQhQrfBM1DKDaMVFtQ/o1/ngvj+fI6QXGN2SsQt68rcDwB9Wpk8L+EM00pLw4TwPoaeNe39VsEypOPPrCJJI7AiqCsETv5Zz9zaoRumnxr7Sb4G2wwGdtm+fFjAFgxzQgwOtZvw4Yq62Exv8cHqTC//gM9QHT26dfV2bAvLNoco6+T2Ein3hrRwCHc0Hlek2ne2CQoYhYJGmsvr4nMYB79ZIgnj6U7uJB/6TsVdvIIQ6JIlmPq2tKPZ47sBO9IXUJAiOR6J9CORgOukQSMLVHYX2FLLvTbHkZgKQxaVHXiDEFxOSJ9dLpBPXgZ9LMS7768kFrKyZRP+2UQ8p4Ax0MmHPWZnSJcBh/ypK0vqZw2Kl3QLWmopTiJflsyjIUNGJM/GRRONjVIT7zCuV1QusTcV63/XWLaJprywvJCSAWKYi1Uyi0nyyyCh7XczXPj5x6nSYzfYwvkkYmec5h230ot2guN/x5Vvy3H3xaIs=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1720929439

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

%MAKEDEPENDS%
gperf

