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

%NAME%
yices

%BASE%
yices

%VERSION%
2.6.2-1

%DESC%
The Yices SMT Solver

%CSIZE%
734076

%ISIZE%
5849899

%MD5SUM%
eaf47a5ab47c76cab0e42e28f998dbb2

%SHA256SUM%
47f3c9ee5ceadfe3241e56a8d4283b5c468dc2b34a424597ece44a9e26e5df57

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl8jMiQACgkQdxk/FSvb5qYJ7BAAhgncxIKAz8XmkX0mEaKZP2R8gHQ1YW+kNgIKf5MkvDD5AztMeR6+zJ6XhBKXb+AhjC/izcPm3ifCovfhefwwhAe7c9HWEtQqdJ85+XruoCP1889PRLZCiixEjIqyQBlsZWOgICS9G57VLqcjkAtxKxqCGmeJVNxCg00FNUNNn0Da3wW2TkyV26Z5qyushh9ug8Ipx8ozGkxIfLAxRWTrB3P7B7g0VZxwhmHRJBk6caRoQCa69xc6dbX14ZVMTAiZmvqerO/Nbk7D92E1akq6fP74HbGJBsT/3rxDV+RzFETWXGBi5nXCK+ewHiXDJJa9+d61dpc4xHhy9Dc1LOnNEmEuOqD6hB78zGO6kqm0uOI5d8JE5yvw36W+ghggFMPRCTpOdjD5iyLVblzpA7dKHi83rwwhonexLkOye2SyDLuXhVhP1UmdTX3ln5j0UeCTCQa+8lKIXdpzziVMU6g057elKZR+4YG9JiPs46an0KgFOWtoxoybd8AUuEyWpqXaQ64PDoIUOMU5vLNLOh0eO9xbzhp02UuOo5vbxEeLv61q8aTaT4HSK1ThcF+Rk4p1zESO/Nlcu5beJUo1rhiLbaXUjVZ8194A58sBRZFMQBfmEtO95VzD47suBp77Ua80wU8wEt89a94/kwxaF6URashThrz1nY6wVtZqQmQnX4Q=

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

%LICENSE%
GPL

%ARCH%
armv6h

%BUILDDATE%
1596142068

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

