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

%NAME%
yices

%BASE%
yices

%VERSION%
2.6.4-1.0

%DESC%
The Yices SMT Solver

%CSIZE%
1707492

%ISIZE%
11320543

%MD5SUM%
9517084dd6946fc3dbb6a84f22f3d22a

%SHA256SUM%
54882e3ff820dca64bc7007808bcb33f91e54a987de0a422e8b4829ee4c4b824

%PGPSIG%
iQEzBAABCAAdFiEEFhlKgiMenvgjViGByOj1oK+bp+cFAmHRCF0ACgkQyOj1oK+bp+dCggf/V4uNMoZscoCLXBVKrsI/TGbYHqaY8s208FSZVjSskocyQNp/4kEUuzVbILSO46aemBkfqtAnBtUGC5ZbTHF3azgbNW8DrbaQgbTukhPB3BJK+Wwi9raCFirFXVtUP+u6ocf/ZTDWp83rDcqCJA4eaimywCstFMmwKgp+5mKXg1GehwCQK+M5jTBUbftjXm8dHCLW+PkbaQIvOZRRl4PjIW1unt4sjfx1XlKkY0hSZ0Pv7hqXghYdZCwui+yOdvzTAfx47svczrK2KlDC3I2618bkT4XzsomAAFEfBXHfQsY0k58nSeNs1aVYZBgLxsRHiKq4F6tXTlkB6Cy/ss59Zw==

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

%LICENSE%
GPL

%ARCH%
pentium4

%BUILDDATE%
1641088854

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

%DEPENDS%
cudd
gmp
libpoly

%MAKEDEPENDS%
gperf

