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

%NAME%
yices

%BASE%
yices

%VERSION%
2.6.2-2

%DESC%
The Yices SMT Solver

%CSIZE%
852664

%ISIZE%
6792019

%MD5SUM%
7b375c55f56eb02df9a3aff65aed3c80

%SHA256SUM%
258f3b83a66c6885d3db8150f1de1afa8083b7f453c7a5a40b2165de2886ba3f

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl/gN1YACgkQdxk/FSvb5qYLwg//QQJgY2JZxDD2ikG9XpoP1YbJKdvnbKAYrO30asOa5Hmsr9EbxIu9gyvI3NYYop5d8CPoEHb4Z+YSLjhpBCpXUrH+gXrG0u0RN8iF5FHJ/UxgM9GaDbNQEpaZFiyh4s3RknnvGvM5etMBrf8DGzsSc7/oiXLBuR+6hfVDPJH9oZB5YWz1vHbGDj0BCzD9wqCLlzuOoTy76jzpSJ2avyZE9zJolLy0D5PXsPbXigx5XyVa7OHf9jiZfDXasRPr+I9dQpXTOHr1rJ7Hhi9vV85rdKVYVxUVReWGGKGXxzHrbzLBEC0CkpdPf7JAFhscsvhDSw1GnLlFOhj4tilJ4zqyvsr7WcqUfSQ1WvownCnNYhKAUVnvGjGsVXAEttorT7zEaRNBKvF60Nxxyey2oQhXBsP0nvuqztpjGXaQgo8/cJ/6pJd2j2waMhLEAfG8qi9BjjHSoB5DzOC0fHhrhrdzcMnyeRxm4yQZDYDmARVs29mkc7GnQ7PbKnxBJDVDVyYCe+EnODTk1DeFjxMpOOTcqhhGihkC8PeJEXQ4ayRe1TVVB0kDeQ1qgs5cjq28MmhXPRZgI0eNwQKabyFCzDQ0o5kM4n7TjJTbaneMU6oCGPXBPN6rUtNEHcX8U0anyagIJ0M8oHgl0aORv25SHC2V2d1kVAXZAv1CHBDLPYlgPFE=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1608529686

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

