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

%NAME%
yices

%BASE%
yices

%VERSION%
2.6.2-2

%DESC%
The Yices SMT Solver

%CSIZE%
852584

%ISIZE%
6796095

%MD5SUM%
196b9fe9cda5d294fb66715b44c608bf

%SHA256SUM%
c435ad39f5eb5a744e5d620b2b0ac8a024fe88415636e1650606d932af96dc81

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl/gWLAACgkQdxk/FSvb5qaJ8hAAjImU7aViwiCVVCobsS5g5YKm1Z0/0hvG0bfdwgZoK5pZF3jF07ljsWcJg6bn+Svjws8GfQa5eLgtvcf68lXzpwNRvpSO+BTITHCfsoIna93PJVMfBAc3rAPNb5On4DB2WLgGtSDTiLRY4J+6WhD+s8xR0eZddyude8G9m4pX9CNwfULOA9Vl6QgoxMmIbyg0f25hnpureXEH7fXchWnWwSkY5QYzwe6R/aXmg0L7jtuD78FtQmv+fkOP19K2ywwqXtQDEtu4en5+ubm5ypJQNJrJfkSirmfPp7kCh3OspcrRmWhQTkvVZHEs521BXwXFasDqlBkVe5oCOaC7wJvkyzTmcD/PFShMx2KnaEDBYlmBJEICdrMf3IKQd8ZYD1YE7YwI/hWlwKz1zM7YC3ckPT6GlVenvdwURT1NwVKpiOd511yDf1xj+1D6gpQycI1cIJsF7uoGnEG1x8rX0D6iG2vDskRyhTjDbK/bCOzkxope+7iMM3K3dOVW3Dj+gS7Amu/yz12+/09T2ZjnJ2owtQD40uYCNfMwqLcaCtiuhyDWlMvYxP07TBSWNz+YBZ6coymw8A8KyEPdieU/j0aLWXGyXMHqE6/jZzcuOt7lajMRjLlo651xlndbb+XZNNooS8ecBESijdPkzpr36Xd+diM8/Ex/YLD8d8R9QthbJ4o=

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

%LICENSE%
GPL

%ARCH%
armv6h

%BUILDDATE%
1608538230

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

