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

%NAME%
yices

%BASE%
yices

%VERSION%
2.6.4-2

%DESC%
The Yices SMT Solver

%CSIZE%
974396

%ISIZE%
7535195

%MD5SUM%
1f6d4ceaaa88eee04f66641cb6f2615a

%SHA256SUM%
c0cdcab2c383f156faab952d06f18d882d5975e5e7f362baeb8cbdd10335ad7c

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmaT32YACgkQdxk/FSvb5qaRmA//YGqI5sb0hP/LSKvhcgqzRXGB6KzSO1igpZOZjdvTncn5eO5xP09La/TDc7YqZS2rQ60ra2ZeJ/ivbry2zq3+T7B92o7R6DfLx/nij0vCHrdo6A/T7aw1lGIB0ADfozH0jWo6a9WpFKoabfycCNi2952b1QfFcuKW/bfwon71bDI74nxwaSE9QQtOvuRL4JSzULycCDriPFLvf1ZCF0iGbKhc15GnvJUt7e9+FFc35MJj63/87CYFEhUS/2bWkmVjRZMx98tVD4r/4OeHwlbd1Zm+UP+MLU8Wt9POBFPdhIOJTHeyidQIuw6+FjzvXoLshVuLceqTcC0QazEVA/pCWH6FQVmj8jwTJr0YTOZ4smYuk0S82w0gya9SHNthcTjEVioM+70oflN5pVsgxX8m6Yqo1DiR912pVTKs7Tt91m5rjWpAI6x2xzeOQ4h2vgaX4K59IgHr3PDVOlmFCQkdiyo59YbwvfKnkvqa+SJZ3Wk9yU0JDu65Nf8iYM3YKUIZlVZ+s4x5E1AxzMwg51QyFBWAmM0os30lJriwAp1DJ3LGek9fplcicNbyiMf5/C21q8Co3K3ryr7PjMEVOGbj+xljPERlCl87Gu4+bSW98GpqrTJ4//xW//Ht6cGsucUY/USRQd/CO0fkF7lGmZKGZ875mSY+mRIMkVcf2Ii/o48=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1720966938

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

%DEPENDS%
cudd
gmp
libpoly

%MAKEDEPENDS%
gperf

