%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%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmNhOxwUHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwaJwQ/+LhrNH8MGcVYzDnBY5Vwl5hl6e/0qxOzfTw8Sb1dhPYz9nwmlXsMmvqAVtGdj9+9w3Nrd9bDzbkLaPwkR1Bwh7NApwwPw2SOeUsWnJ4ngCjypGjHHFgDqfV/+63MXGJXN9aZQYjkNHXlDToe/ZdgwlUTxukKnhnmXr2OcQFqqvfOC1klDPh1Qz+RXJe2zmut+UH/BEkzDHBgHiAjSeN2nGjCX3jrq2Ee6aKS0hk6cbMKts7db+S+Shfz9t44LqwYC+l8B67w1C7oIgXfyBuFXTIG7h0Jp78a4qYshKuplGJhndH1OffrMG9E15NHYkkbZ9r4mxaQ7L35z3N3gAMEiqnQLqM3JCVWCbW/oQfHGUHnwqHST5SiIzyvYnWxtXgxjwFgop47kaxQORIYKiJLAoKvy7ZqM94UC1DTWLH5iOQeiayVgHB0ohUzW8+oYsIiYtlnYNk7n9mOmkc7nFcLao382gU8wMfLNbnqp7b2hN/YeMmCA9q2jxQlnkoWDxN99vj7zSPyQMwUXMhQPU9PLr6bRICwrFwJDqTaua26jA9Dk4TQWR8IgWt8c9bA/7ADOpR4k5Vvra8AvNwV52vJqEcQZRWM+yqKz8pIE9BspqMGl/h0DduoRAKWEfEyBW/gUGmwD3l3viqxrRRb9kREACWHDahJ+4mXjvenguFJqaLU=

%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

