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

%NAME%
yices

%BASE%
yices

%VERSION%
2.6.4-1

%DESC%
The Yices SMT Solver

%CSIZE%
917932

%ISIZE%
7215347

%MD5SUM%
0f6e961652170d8af21b83e2bc4d3660

%SHA256SUM%
1bfeffdec90edf0473200f618508579bc0ab5b944cee63e3c570f8a1c959c8b8

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmHQ4ngACgkQdxk/FSvb5qZK5w//XHsSrJj8CZdDBs5WXXQT9tvmFTX3JUnoWLc1bGdxQ7SqBY7M72XHkDX/8skYkz3dWW9SDe/7Sed1JULTycYcyKyEZXkaRBF2Xc9OsvTADYeRvxO+HPuFdYLf6dxTJhx54ClBBL+w1oVT69a3JRX6mf0Dl4ow0vrXc2Wg1LMQLtLCGlR+BhfN4KpFAwzUkpzoRH+7wn64UHtmUxx4X4ZZQ17m5MbVoHyRmuhs+oNzOKxdmeWK8onMP1FN18teKW0zTAhTGV3n7/7cAk24sFecQH6Czr8uOnxjxtwnjmz6whTnZV9TsE1Q1O5pa/HrqoPnlzhwOYr9YtRgECL8dZehuM7wHp/bpTETIDkG4C/3hQK4t0DhlVyG5162rpq+To80QbRlX4bPAsV2FKC/1q8J3WuLrFkc5rH06CHHYf5WsaZAwegS+PiOzWUYo5voYeq/PUKO/nGc/r5IQfL+m4byZIBEYOlOZAQk1EoquYhDKIpEAM1jvcqlWGFbTJkCistNw8O1kFqDSt1et53tAonTVHM0RLrnZosnkvv2eJKbCbhJTrk9WY3PpnmpkrM+KFE3HNYBE85iAyqWgrUSfyX2h6Y9DL2SdV/sHO7M1tBztY/m4ay6JEZdVtiRbmompncLcCnGZHIjAzLDTGoOXWphEgzNXs3Mf1S3v/bx01fqjuw=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1641079355

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

