%FILENAME%
z3-4.8.4-1-armv7h.pkg.tar.xz

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.4-1

%DESC%
High-performance theorem prover

%CSIZE%
10510336

%ISIZE%
36868096

%MD5SUM%
d3954cfd92dec4b0d60137c187a0987b

%SHA256SUM%
bdf6f2fdbb843edc1fbbe059345967e5807e4c53542ec714d944fb1457be3eb5

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlwdU1QACgkQdxk/FSvb5qYSZxAAorVCw9k+kPkpYvcryVBlyoAUp2nVKuJgRDZvv+kOz3bEeSUA8mVugOMusn6fGYLVCCbMqb9F61kAdcdAV5enp+M5ofEn351pkPShXEeiwx9r2qdRxiL8gcMvdWWzO9EXjMLzuuykICtDEcFINxP76qpLHJuvXMe4LLzIMYLXI4TgF0+bvwqjYjHn0f+dtgKMPOw79EHgWKFDtaepsZgLE8CQJT/xSz7JYK8T8a4CsXoh44LirnycxBmOFaKQwNBJU7jBNNXPHOBL1UgnCp8qe6vgVv6urjIXN0qeN4WeKDwFAg9977P0O0A4IUieVqEeRkIZ2mdU5+E2qeeGMr9UdP5j64/Gx7qMcSYH9/X89+jmvoJ6NB+dgiHYXck3n7qnJubdeufY8O9Wom2CZWngMRp9J3ff+IEyvW6Bw74gHIPZTYDdGSbva5/o5r8nHY+FwRk+4OstkgKt6bQWJxquN3QyJXeegbH1MTGuGEnE6EuzFPjAoSUL6DWG4woVo0jWpzk5lP6481dKMUVOm6a2K6hjE9laCZBIJEOA38QlGwmMutPX4j1Vn4ZnHfmbxNzgLKUP1NwM+5jnbDkEjMmtP+Y0sYz6aEBsB8CRIkXIGjkN3sKWFKZSKnFhiqvYOWDEkh1XPHhZfUY64PV1x7hZ7b9kC4Y6t4HNEKq3cJwIUYg=

%URL%
https://github.com/Z3Prover/z3

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1545425278

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

