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

%NAME%
yices

%BASE%
yices

%VERSION%
2.6.2-1

%DESC%
The Yices SMT Solver

%CSIZE%
735616

%ISIZE%
5876871

%MD5SUM%
be4242c90d5d68ff153bd4bb8a350eba

%SHA256SUM%
613e60fdeb329e61a6479f9e9f44fa7917d83414ae9071e8b643de585123003b

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl8jMogACgkQdxk/FSvb5qbbNg/8DlD/KolS06d3lbuqkkCwVMDK1v1c0cY99H1pPW+iy4j8iyyvNaMKrPuwbMw5XYzy02k68qxi7VN8SiKyArw8YhQObQa39MkI3rxAo7tF4AYxRrYC752L1VHZSo4subRNKEZHMqIJK0LV+7hrWYtfPm3k9jjVNFeUGO/KRReOj5Pt7TqFGgxxg7extJpWg93cuNHDuUjOpU12rMPbNOuvRRc3Bc0w7wRdX3z8mIzeRmn+a3/uqUQEABCFbNFFGDy9JMlXoZR0krRzU+zTkDgTcGqhkB8/bxxzGawuumLkgf4H4KrzYJ523fsRer2gJomF92TV9SsPJZ7y7hyi4terei9otkCPm4IxyVoXdnYJfAwsktmHa5+aJZKhKBnzXZX+HqPwhVpa2gFkTb1y0G++WJrXTurCWvRoF7IWyf+9/uOYlfAKpxuxr3Mw5jW/Evt/CdQXs4MFrXwBJxvgappfkQlGjxCC9b/W4lAT36vhLliqSFMLI4UOCV84Ev4SQw9pxujWLNj90dFVl54ibeKfd3sBv/oGk5ozfcmKHbXOAFaNxS7qhcxH4pRK0y5je1Co0fNT6wPpWmKrsZTRCkmTIRxfd7OYan2GEuaYaCOdKBbXbrYgafO+r3q+2fWdiVwUASE+tdJzalAJGVv1HK2a/M2AQxxgyDrl2scvUg0TXV0=

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

%LICENSE%
GPL

%ARCH%
arm

%BUILDDATE%
1596142168

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

