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

%NAME%
yices

%BASE%
yices

%VERSION%
2.6.2-1

%DESC%
The Yices SMT Solver

%CSIZE%
738264

%ISIZE%
5849919

%MD5SUM%
9b26892b8f4261f401b14c9cf14a0586

%SHA256SUM%
d220ffa25de7ad64a05817085791456e33cb7aee91f299a217d2e34f0dc62bad

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl8jMjQACgkQdxk/FSvb5qaCQRAArP+X05WXu4zAeMBR9MvAQEelEmJs+XeN2JeyHyv2I9I21uUHwM8eseQ1DzjocpopFZ+vEn9w/LJfg93MdL7df8ejlNbG0quNhHPqvw8peH2lcj3WFd6XWTFxTdDUecK0g7o9BHXrwH/cfSIhuyye7+q8SmCP649Ow0Fs4e6Zp2o4s4GXvDuhUkqa9xWXiPRd/ZOr4mcnNwqqj8mB3VTX5E6EXbi9swFfbLxl1nBea/gdXUu6GTrO/V9Tsl4iLcUY7HbyBNNewu+kl1iWW9enYY96sfdKCGDOfvNrgSc923O8xh3JED2S3ZYlBFFajAJffZyEW9s3xrVH5gfU7Q7y5jgauLRWxDnOt5IODY06wzygloSlkKBQd5u8EiK3POL2Qgms7rk8TZ/nJfo/vvTymeGI+XKUllTit2Tsl4V1hCgrHa5pAzEl5f3/jlbgFT2S2vFPu6UrhvhPwNzaqFWojn1L5U9B6IP6tohXirgE6ilAg6XpsmCQd3uk2kHh+IsHMUZnjNiS0oyEKlRDMOjfeO3m7lI98CivF5m//soHu8n489dFJuUsBWJO+dKQ2iRHfPBaGvgWkONb2KeEz5livDKgp3nUob6oiG9VNl+3TM3zdnz26iWvx7zporAI1jfObXa2vsOyMwB5Xjrlju28B/ZgdiOYMqpR5/gAqJQ9UUA=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1596142068

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

