%FILENAME%
python-z3-4.8.4-2-armv7h.pkg.tar.xz

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.4-2

%DESC%
High-performance theorem prover

%CSIZE%
173584

%ISIZE%
1735680

%MD5SUM%
6ba5970b4e2c1bd8073b654cdb0ddc19

%SHA256SUM%
00edb9d2c227d750798eef7e0d66d03c043bcc1c1a51b7ba074957e8dd5107f8

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlyRO3cACgkQdxk/FSvb5qboYQ/8DdXIMFISB4mdGfmt7FeRK5cZ7pZdN3HvDpxYYLoieUyjCrEZpv/4wGDKitV6cxI7j4b1YY4gmLX+bw0yDq1fNHTCZWJtqrQzZ25yYKlnz/KL9zHJtzny/H0Ae8f1xopzGlC1UJsF5+CodCIsJUMvtTC2jCoakHE1lSPSXxjEFJFHw904Laeqw9OlPhj/XEbKQgte/tlg23yps2seU2ikCzjDqBnSzRmumk5wOF5TcL/fVdDxUS7+G9WOGUtNH8GuEd8cuQxhivN4XtBZxtaE+bnaFlab8s9+n7uH00DjIIA5IZDP+vhjSTlOhMRaktFdB0t5ZnSwzdIEeDCB+a5Xsx8bj6gDKzyNPaqJuz1cRhRXbc7xpyjsCtYIIV8y5ZukEQkRZhV130JtCkjXod2uh+4XyPfk9/s7gmGa2Lhv8gldUytRBP7Z0XA6ueR+95RmDXcuzD11sI0O2+dDsbTENA5COU9+9/17ItLDsyvubkCCaz8t0cOV/SQ2xzXN+nyb2yLI1VUa3kaII3HD2OiwGFiW8aasVp1MBFYQfCQggdH7eOanTDwlguT55RMEyfqDGqpVQif8Pj+y9scYl5ExmdK/wmAu3oz6nsLbGHm1VmglNL6gGzh/n6hqMMZaJhX65uyOJN4rf2+7+pyCN/iTwJj0oTANdv/YLCkjzkbvHII=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1553021417

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

