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

%NAME%
yices

%BASE%
yices

%VERSION%
2.7.0-1

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

%CSIZE%
1048540

%ISIZE%
8283235

%MD5SUM%
b651473982c96b03a17abb227c408c5a

%SHA256SUM%
e97555b2bdfb3f6d64fa1b4b3451df34d2b12efb1c0385f13e62253e273d0ceb

%PGPSIG%
iQIzBAABCgAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmmnRjAACgkQdxk/FSvb5qacoQ/8CKxe5uPxpGPxT4vZWgQrjyZHKPuRzvpGXRBOCz12zJa9wOqyPVVaqgkZCcmsXbqZ8x+O1E6BXnUS+sKcWN9lEdc3BgQEM9nSEJAcjfz0eDFwzpsqjenSubUfpNP+wWqt5fP7Ym7M4saxWpLEN98SLP5ufWpq5FDUPUZ9KQQV5qu2Ir/nDw2MEnrA079AB2M+bV6mRVi0FsPm4knX49av8DK3DlLnmOzu5bx3YVp8tLwL/styOtllxSpqvVz/hPa+571xi+ZHtYXQF3rS4OAD4txgTbR1E/GXm8U+YdU3fmWzAvo9ewOb1J5ojZM7RFZz3rQYvLx0TA4ZKYiohRBJ27zvPT4GVQuVBJt0UfCHXulMXgp200wcJUuBCq6IC4wDeuOaqWdMl/1Ce/EjNlnEOawxpG+Ry/X7W497Jh3C8f2AQLeZHP3e4Dn0NAp0/wuxHaTAMIcRQ4zV1hjXVbH5CbjxkB7Y+rn+fUxJ/zmmRtqJvFxl6STxB2lswerbsYMN6iL1Con9jfADgMqXY4MkjrWQ84/8kDT3+6ZI9ynDwBDqBOvUpGk2bJBH5Gxo0Mn7yGSt0WROQsOhGS1XEj80vy9N9ic7UzszQv2zOE2erXaBSL3tanmJBfWaBFRp1ZCu0wogO7IcF0IeDXCvFrRweMhukWyjwLgGROKCBbBYNZ8=

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

%LICENSE%
GPL-3.0-or-later

%ARCH%
armv7h

%BUILDDATE%
1772570076

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

