%FILENAME%
yices-2.6.4-1-x86_64.pkg.tar.zst

%NAME%
yices

%BASE%
yices

%VERSION%
2.6.4-1

%DESC%
The Yices SMT Solver

%CSIZE%
1513437

%ISIZE%
9526147

%MD5SUM%
3785e61023a65723f4711b2de09b78c2

%SHA256SUM%
9c6056330762d957596444dc27b4ac1f5cacb8663aff2397748ea4135aa3c1b1

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmS3CuEACgkQrx0hme8KPM/Fqw//faqcmeN1R30RzLkULc37zUdyts7Xww3Ubgki15jycNGLHG9XqH80HO/gkA/YL+txh5iWMT8N/zgC4XAl1B5Hgp6KPZ2r1jwFYnZzdMTNYqQ0EpbzY7PquDA2+O9LYXLNpSSnPmNTncTGPZQZSVLUGM802q2StDIASeGAGfQD2RfayTlGVrXOah/maqdBP6Xc0C4hAy5xvBaHE9CFICMxQZ11KFYPcYjXNTFpe1FBI2Xfs4VoBSgdglDKokn2ucDB8bGKUWKrMtpOQ/JYWe1oTGMmOzKqoIhQO5koP9oMWtUFJ3E0M1npEuYFZLu+DzZDO1504kLHgOOvVHjMzsAcLZpUOgJUogM8yRK1/O8/DScFROKszXUrX6aHypKOIkMxmz7IgPqbT4lDC/3sn//lVVgDh+LcbLWUi0EwxBhazLAWRlOT+/JIMhEos2O/prFy/re9eet17N0QbLAykglimN20BRpG8i83jHMBdO7c2NKooLEXqX8DHRFzj4QEa31N9MWnE3fQH2MEchrF7qeoH4XLGb/L5vpjKYCZiyveZ2P7ug/I4KlFG3pR7R26Dwma0kygypyZaLlo/z2wupVQt3rfidhhE+NVxd5Q6R0X90izt0JR7WEFnu8mSVzqXPPFpkfYTI4T5LFgcH7xWfZTtgnv/WagAke4NtmBRgY6cco=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1641076154

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

%DEPENDS%
cudd
gmp
libpoly

%MAKEDEPENDS%
gperf

