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

%NAME%
yices

%BASE%
yices

%VERSION%
2.6.4-1

%DESC%
The Yices SMT Solver

%CSIZE%
1513437

%ISIZE%
9526147

%MD5SUM%
3785e61023a65723f4711b2de09b78c2

%SHA256SUM%
9c6056330762d957596444dc27b4ac1f5cacb8663aff2397748ea4135aa3c1b1

%PGPSIG%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmZCZwAUHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwZychAAnigLooC4iBV/j5zJpMhASznfJO9N1d6o58EmPPOoMWTsriWZKZQcJgkm5hfZBApc4znUfr+6Wt+0CaYNYM3a9eToCz3z8vNmarLJ+t7fSHgjbdeJMuO9+DisSNAUynmEO0AW/IFyn98WYhqfUVXNKA+c03k51npNS9TE8J4vCIK1X/YYDWKWkPGFM8xYKxZykk94Dk+dZg7T0B40FxRxZPZh76QR5C2PZJ0SMI1Ru51n1/jeMJ1leN7NDZ2QWuYxW063da1Tt550xwsyarhMV7ZbBYBSIAVe3elkYSmWmJcSfH+YzMOlPgtxbC87Q9n6AQt/I2YGmhyUONIl9gnWldPUtr19+UA1rtUqQC8sb4RxmaIRqu8ciuSpgIyTr2OpbzKwN5vhBEKTvvN/wM60O0zzasd4T98dCa0sn1hNF5Q32GgY+TBBufzY4fIKjMaoGW76ItV+6brcbh14y8g46j31hVqb7PpL97k2QJlFc65Rm0CdbMSAMkzljGcKU8xlZC2IIsNpkUySYsNb8vzomNqWNhi0cbOJsc+S80CaEIE9bQNF444IAoTS8NAwBq5wwUowgeJLPnKV7t7hOVuD2HDuminlUwNKKRX1UQbe9cmvFW1hVrDVX/KsNgzbe1MZsx4qKmYjR9K/7zsT9cRc8zxy4mNAZjXSeDjRLkx5ETs=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1641076154

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
cudd
gmp
libpoly

%MAKEDEPENDS%
gperf

