%FILENAME%
yices-2.6.5-1-armv7h.pkg.tar.xz

%NAME%
yices

%BASE%
yices

%VERSION%
2.6.5-1

%DESC%
A solver for Satisfiability Modulo Theories (SMT) problems

%CSIZE%
986484

%ISIZE%
7613159

%MD5SUM%
05eb51ddd5aca1f3d5d0be1c75f22025

%SHA256SUM%
9d81ae2a8929d776977ed226288f84654b317d3a51906604c68b9f5b5f1b71e1

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmkI4IkACgkQdxk/FSvb5qaU3g/9H+nJUpnB/eXJRliGvYNwl4MKSYYl9iWw26aBdaMARStzr3tL415Xsj5sehUnGgR6HZJXeiiNoU06XbzZpDeODUWJkdBy/WG7jM+OtVdZisfVBCxi/r31xmhmcIBm+QEVYiEe/s0q5MEHd6zPR7G7slAqYg001orYUCuWxEfX+litOdBwTB3cl3qSlF0Uf37fBlg6ytHVNZ9lq8AzfF12Z41r+AIyxzhLcjT8uCj/BEHX4wBb1vt2HohIFD377aTrgwHVfy690xPswICjyUtiIjK8Agh+Vsq3UWwIx9VwupfIJNy61k5XypngH2i08sQUIzRe3o+jd6auL06TpUjcxzhgESLUmqiiAXlCSIDcRfCg1IK9pPLuu2Q5ECCUvUYmTwsIjHrpq2oshN2eqkArOrg8m6i98WPl2uBf4uYRAgCaL9qb4EgezvhgEGFv1sjuwKUIdM1smQ9BmPz4wy/7IjdbEIp/K0S4IF3WPMxQuiUWCIKFy3GMikTQsObW5Ndvma44q/Q8rZoLhsLON9+xaplU6xw3Or99rsK7nR8DfgZOylMzg1UWMKYEj+//IjIRMhXYIIQeX2lQzPhaI1RPQ36sxxRr4Uw0Qm76jEdb0Ols1NAw6HWVoukmUqjMyvIUAdZoYAwdgWGeJshxhqWLNB+WOKMqYk3tCzDz1vrN1Ak=

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

%LICENSE%
GPL-3.0-or-later

%ARCH%
armv7h

%BUILDDATE%
1762189380

%PACKAGER%
Arch Linux ARM Build System <builder+xu0@archlinuxarm.org>

