%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%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmHQ1ewACgkQeGxj8zDXy5K/Ww/9FkjRpa5VvlSl9Mdai6OA6cOB65ZZutZSeG99gdTGd+wk0ToCYliWT4+NlmmYvAm0n5h4aoSnTat645w04TaH+9690f+nuZ1RubHOSDErRWeuswgNgw/Z5d5Np+IIwESiy9RD8wHUybjPsyOpFT+0Z1iFmjfXeEOPJVtRUhf81yv01cyWidxQExZ6ArMS43wFerj1K9zOkprZ7ZXg+vFFLcLjnCwoEn/CgGgQPtvB86+Acjx2WOs9wSP6Tvmb7huBMTkoPEc8/b7dSOf7hmKWUlTvkWEbKz68qI4oUtWwhYjFFohhQ9PLAjwAPV1gmyLmnc41ujl+DwNyg8yllY1hUd+7vzSGHMdrZKx6bZ3/heZ28jBVTwxXC2QN1BkjqATZK5tFLAJszE2L0KJD5D3h+5agXlN8EGRLB3DRr+zeVLXjV97cLVxB1D7baFI/jeLCgDIzeHX9bpJhBIAwG8X7woQ3xZWm0fKCKX8pqu7q0MvQGkzBvjFhk1DsMlZtn88xaVNLaEOgeGkM1yhzkI4UVGSk+N/cZJtsKcov7coBlEPJAeHsZMFZMu2ndh7LsXlzx77pqv3sGg+bfuoNjq9SkcWLIgu23FDmDAiaF5CwWWaxc/1XLDOSy7plzKRAoXMz/i2muNcTOT3DdfxTEKxxaFGsKH+NR7EHlyv5Or6JLhY=

%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

