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

%NAME%
yices

%BASE%
yices

%VERSION%
2.6.4-1

%DESC%
The Yices SMT Solver

%CSIZE%
918320

%ISIZE%
7223519

%MD5SUM%
85bc7ef1d2442669b6d1c228bec1a27a

%SHA256SUM%
660b9b069355b90744cfe8d57981507f917e3513baa9f158953c7fe44fc2c39f

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmHQ488ACgkQdxk/FSvb5qYFMxAAwkf35DiGdgXzlkfIeNHa84RS++oUqlhrK3no6KM4G1cCLPcKzekPL8KVcA9HgEl+ZEiwcnJJiPKo3mkjc5fHubmEfTSkk5WQHWSwXHuUevue6LQKF89eDp20/7kjFXan+RvU+TqKxmzCD/+/i2hhxlKTDPvDk6jO4FFJBsxmw0vkUyGzmtTVB/BiPXzTBGUdR/L7ZmWttBz6SpnlhpU5ZEkPP3uQVe0ChPGV/pZiIf8wGswrG4IS+TIEX4D2kccxTrWsIn0FZzxW+pw5mwvEoKqPRN+06v1ig8+NkBaaIqxpy1vUaKpn1CmoiGGw2GMsQkojhv1ykFXXpkYemnVFLvQAINml+4dW5pYXLWjdqQMKzHSVTWZSuxFm0zeK1DLCWbdsERycDqfEDm0vaVuO4B8N16ty9ySlYTojObeFo3Y7/Z+KFMem6pBruFsNz5dpY5N5bTds81o7vulKc4dflrqZKsN1g1Uo4S+nGvGKwUwB+cgP26XQRG5bPm3pvNo9DWWV7InY2malfzoS52d7HUz+u0mvHeI7MvHOXidA2gB1PmN3yKwmO7pFr0yH7bPMNn9nXkQsyx3TqGr8DXLz5nsHsbK9BUvFwfz13JbG2xQJCPwjyy1bm5Y8EfmfoaMavPW9MxwM7vPlB/etTt0NPGxEJa9GcQhBqn1VfQK3Z8w=

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

%LICENSE%
GPL

%ARCH%
armv6h

%BUILDDATE%
1641079697

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

