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

%NAME%
yices

%BASE%
yices

%VERSION%
2.6.4-2

%DESC%
The Yices SMT Solver

%CSIZE%
1717750

%ISIZE%
8013787

%SHA256SUM%
5ef614f051ef9dfd4491f68c56fd2677d7be69038b6f90e7545c5ff5cdc39381

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmiKkSgACgkQrx0hme8KPM+bZhAAoz8VQHU/2/AHZvof/R8jyb+gBK8QTDOaWjiaNe6lCypSlO6NW2p0wj0sfkTc71qRngn43+nxnf4ky0CPI72r3Xm9QxNbloEKh/BVxqk5SlScZ+hhnKOKIpOWnTfFa1jrRvXcicvIM8NBLSBY6HU3w1ix2B/Bc4MENLAkvFtmhpX6ZK1EIdrIwt31hqWqAZb2MF7Ea1HQMlqdNOcL303SI/NiYvFX4FQrCIo66Zev7tZ2YZ0xfPy7sed4wkgdB50euEPH7RjIRI5FeWOr0MoXpQDPg5KzRvXPI464Ro5aN2REyG6lU1gfBcBX82Zbh6NuY4COnGdzWFthJmeKGZeuuSOjAwFLRFIf5NZp+S2JSFY29G1MiLKBxSXbrp79scDKY6RZ/5EvAEKFTbqxeQd2U+YHP2MAxRbZd3dz9EKQp5KYJ47OUMsBQZHqLkKmEdrJYoV3KDCXfjOW3+OtOwK88MrPQnzDmZLrM3/BMTusRG9+w2Tuw+qPAnSsYXQRdqQ6zpyciDyGLEwKGKSqUNml7Hq4aWiCMi93IfUmM2FuvuU2MBu1pc4rdrYASi+/NyWMo7UMrTbj6RmyIF88XdcQJxSwueIKOPA4JRRAHHy0/C5UuIiMJI2sTkUDt6eSF5cLpX8W+nUFTAYasRrjmIUNs922zHM0FeoX3+JCzdTvr5w=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1720929439

%PACKAGER%
T.J. Townsend <blakkheim@archlinux.org>

%DEPENDS%
cudd
gmp
libpoly

%MAKEDEPENDS%
gperf

