%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%
iHUEABYKAB0WIQRUwf0nM2HqUUojd5Pylr3lA2jGzgUCZpNMuwAKCRDylr3lA2jGzkSrAPoDYSVOs3Bwqtiwv/XV5ygkNSgoPa0p0C+0XMaicavK/AD/Z/oLZjX5faNSnoFoUcpQCGALAd4Brlbw0FhZIGrjQwM=

%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

