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

%NAME%
yices

%BASE%
yices

%VERSION%
2.6.4-2.0

%DESC%
The Yices SMT Solver

%CSIZE%
1757884

%ISIZE%
8532695

%SHA256SUM%
cca9ae3300ba53c8118dab3515c2c077efd974994cd2a1f4075aa98df67fcb2d

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

%LICENSE%
GPL

%ARCH%
pentium4

%BUILDDATE%
1723338743

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

%DEPENDS%
cudd
gmp
libpoly

%MAKEDEPENDS%
gperf

