%FILENAME%
yices-2.6.4-1.0-i486.pkg.tar.zst

%NAME%
yices

%BASE%
yices

%VERSION%
2.6.4-1.0

%DESC%
The Yices SMT Solver

%CSIZE%
2206951

%ISIZE%
10459375

%MD5SUM%
84e49e4eb1ceadbc905f08a39cbdc7ae

%SHA256SUM%
b03b687dcb312431f93b33959ba42b13dfe55e9407a9c99cdef925690c651611

%PGPSIG%
iQEzBAABCAAdFiEEFhlKgiMenvgjViGByOj1oK+bp+cFAmIaGEsACgkQyOj1oK+bp+fYRgf/dklBU+gj8Yl1wk5QyRg9hxwX9uUJ6PspPj7ioOgWTXm/53Md4xbWENRFu4bhhUdXFuB24gcBRXr1/Jw5g4Dnq8LfLNTyMOdLlHU+qcYXE+0NocPxutGtAgww/nsEtsF9aIZKTwEU+uBV0CfhuCBPjFVpnwEN2uPklXACrLFAB5UaJnlkAfGai1sdwp1TQUnYhZTYFpfjeXo5LNvABaHOqfdFor7mhhri44WNdsVsJMExDzaD73QL0GdSFqIXNSvZ9X89G3QYnaSAZnGnWxtuj3f/nteVE553dwGQU6zCcAlbddhiVcRQgODfNOQ2dYBIyPqfcZIRfbkOFPhFqv83DA==

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

%LICENSE%
GPL

%ARCH%
i486

%BUILDDATE%
1645877115

%PACKAGER%
Andreas Baumann <mail@andreasbaumann.cc>

%DEPENDS%
cudd
gmp
libpoly

%MAKEDEPENDS%
gperf

