%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%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmeAOmgACgkQrx0hme8KPM+sWhAAj3kgBe54wiR62ZSR8S60kv1iZlb9XSrSWaWQDOFD6D7ayLJYguM7ZlFa3XBDNo70p11XhiyFerm95tj3ZyPVshXgkpL0H2VJF0xVCmkjX7VSbTGnoiyqDZoostbNkuI/NIG4UTalK+ga2PwnbgBxvlTG0npM40CC7WNN0GtsTvPT/0VztkjMtfuGGrVgxMIB7h266sw0RZQ/s5BdcsP9X2FXwnRh36zXpN9/ckgSAyppLmd+bQNN77NaErv3Srsn58HOe1V8DhYilv0BhlAMXIIU1zGOVUiMKYCRtxLnpXW7sePp4vsOLW3T+NwAvBEM65GPZTJQPWsqqfy8z/2Ioh4I4eE++HHetTdVWuWGfBZKjyie/+LeNQLLUU22OLehnl9QwRyeNxOIboIFXNMQR9J6BmMA2kTC/XLovGQT5uF4PCZ6ChYO3XVCEYZiKrIByGaRxsi0y2fhbg6xFthMpBBskbuamI9NN/I5WFZ750wKRh7tVfJCyrZqSoYOZVpzvMZH9EHiIFl4mHm7QuYyRKiow6zRPF/nYxvnziYCmaEO4/ZoL+WRC7YHHiyxXixOZzrTcmnvaNUtD5t/pTJbL9QsZRR/u7TzuZtcSWhiZAJ4iZfs0XBxCQPiivetk37DNpHzsUvben1HHzdu2L1+xJ0wQ2rM58zV3bEYUUbFNrg=

%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

