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

%NAME%
yices

%BASE%
yices

%VERSION%
2.6.2-2

%DESC%
The Yices SMT Solver

%CSIZE%
1306040

%ISIZE%
9728155

%MD5SUM%
8dadeb383b7debf6bda995cdf887226b

%SHA256SUM%
735504a2837d208e4c71190d98b425a36bc226f79e61a0d197dc9f7c88e71ca2

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl/gRaEACgkQdxk/FSvb5qa73Q//c0r68eZFGz1pu3hVbqSdDWvI5IRRUKGXdobPFHWeYaWmOaHXqF9KFkTP5wI0Dgvyy6YvXMOSRMo01pWJegSBz2MuhOXPGB8suhPWLoltfwns96nHXaoU74DlfE0lZBHhok1NzWoByx90o+Rq7VMLR8fMvC1pxgnME3LjF11cAxRl19akALT588zdgQ+eXitX9ZDZW5Q0cb4/ws87yhLUV+gz5UqVQiWxEqfqJloiszlKNCbjJ14e+tlv6Ghp+sLv3ONOOJlFlbXeWhFGQd0wgqP+2ST0j/ZzpALHAOlGqNwKzs1bwmcLOoFfF2v9yS0Rs8Z1DUPXu87oHSc0j9vZXFFstxT7gi5ftvWwlxxSmCenOypbBN4bv+a5bDntaOESKsJV3KkIqmE0nDmbrM7KLt841f8d1+H67/qY3w11Fp9Cdi5dgn5RUT0hYTwEw6tBwXtNdwBJuBHRzRv8fQcnCcI7Uf7ze9+TrwLyyjKT3g5rxx67uQ5j0gp84hs8FodKTEXhFCNMoph1sAFxV64NDdB0t9OxJSZc5SpXA0vuO382ISizkx4WfTepqNAOWfeoqFthlNYJqOPhNS7ao31+g/zwuBMkQWEberpi1VFIwSww6n7gy21JZsrPLp6Z+hRTaKiyGyS5EgdplYpOM5kcj0VcSqwkoNidpfRY6FzS9Tg=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1608533377

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

