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

%NAME%
yices

%BASE%
yices

%VERSION%
2.6.4-1.0

%DESC%
The Yices SMT Solver

%CSIZE%
1672316

%ISIZE%
8155179

%MD5SUM%
cebbf74854afc2123e88a39b2f1d6dc8

%SHA256SUM%
e59ae79847e2f702488314d1eb4161b055e678bf4e405edc9b6527c017ea5644

%PGPSIG%
iQEzBAABCAAdFiEEFhlKgiMenvgjViGByOj1oK+bp+cFAmOi4uYACgkQyOj1oK+bp+fJowgAipT60caocc6piVr3SC12ek4OJnuqX5+MO4v27FcTe844VCKFoLLfWFxzLCfFewULu2Q+Bx3a+IyX+a/AYFofrDtTo2X7q/xGSp7Zk28VGfx1Inm3TnD13ugvM+fEodvtjgp8pBktmi9JMmL1BP32IPo1/91MXNBz3hp/gJEZMAMiGKaBQ3aR6GKL/mvNPRAu2Fx+UqTG1gqwqwV0y0p1unDUxy7cK56M1KCx58oyDRBBVIg0fxfPsKk9AsYgSoWjBF7HqpOPk9QVMySX4M3pNKdqJRDw2LkJbdpE2JwBX11V/uD4MerXf/5t7INqCFbOq3ZJDVXTPnW5mkQ8sGBfHA==

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

%LICENSE%
GPL

%ARCH%
i686

%BUILDDATE%
1671619056

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

%DEPENDS%
cudd
gmp
libpoly

%MAKEDEPENDS%
gperf

