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

%NAME%
yices

%BASE%
yices

%VERSION%
2.6.2-2

%DESC%
The Yices SMT Solver

%CSIZE%
856716

%ISIZE%
6821811

%MD5SUM%
e6360907bb86dfdaf2140452a85f6973

%SHA256SUM%
2ef331e40c1fbc5cbfb84398c2fc3331d952fb03cba2ae1336e8b02348a3550b

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl/gb+AACgkQdxk/FSvb5qbbIQ//QGG3ySDRjMUGH6uge2q0DC13EaDEhQ8dQ6fIICdwRNqr+uUbrZEAOZ/MCVszASz06BcINN/JKgaijW4XqtOVl7t4MFmh2oJgyQR7mWF/9d+NNH6YbxmoyqA7nz/NJVBmilDNJjL3wRkm1GdHzNZTFZCElHYkLAwCd890nUe3gQlwWza8r4DS0CON9cpdf4my0o+H5pPnCUNmEgGQUdD/xYFcRZgHwTH+FrYKVW0VnHsZ2xO+5BTqDOvWhSA/iAaBABEn52nWdlVU3fBaAtzTRPrefTMgU3kmOA1P1BQwgdFIGN+Z0lnkdDZVbSqAfA8gLjXZl/f5vT06Md2jfwTE/ap1p8bBHWG1d607gkZIvudYg6oK4jec+68kgT2BrKwXvzCWdUrHTTAOiWX2oUCFas+MZdBymHZFEnV/e6tLC9k35m+wf+cU8RXhCTrJvD+RM5V5jzV0X7ez6hN6oNYRopvaWIKQYWEpBSJ5wMYi9mQhalN2JVLK8+p2sNOqP+S6wTvKzz5C7XaWD+hhnnftsOpIDTmfLDId4eSJIt7abB6WTizb6+4aXE8gT9pDPC8fjCWJupjmh8zFiqIk+NiwiN74e9IKZVdwY0P1wnQO0BNKwdzU6d2vlFm443heb7J8PK62ai/mTD6UHaNUhS76pykekaTncBd7xYELLX9jlY4=

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

%LICENSE%
GPL

%ARCH%
arm

%BUILDDATE%
1608544166

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

