%FILENAME%
python-z3-4.7.1-3-armv6h.pkg.tar.xz

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.7.1-3

%DESC%
High-performance theorem prover

%CSIZE%
172236

%ISIZE%
1721344

%MD5SUM%
c92a8fa6c9b342fad44b98487663766e

%SHA256SUM%
8b6c6bec2459171bdc1386ae0a463590cfd83fd4a412542fe47394df39f47a3c

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAluyflYACgkQdxk/FSvb5qbC6w//UZueCkS59lkMG8GI1xgkpsLrqMdW5X8fwyiB60ByKvRS6gFsRgvXAXM8722ar5uapKrXe2G1rF4KZzbh1UlUBFK5n0YMgafbR25O/KxFmHRJzfc6CUkIvJcQCAsvIfJU6Th4YSzjWYSUi7bqjJOGYe4tLFOEnXU8O8EaBrDAHQoH37c1yCDDqQ6UeEuUIj1PdQpcpt1Ta6EhVH2NlB2Kqmr4VdPiUPL5CG/+Om3tno3r2NhFm5bhxDoZZUqwACs3NrJVLvBthYI2oT+fHj2zgPlaE0avCgFfkMIk0R044u6GleDWs3ir1AFz41YrLLr+BmgLAMnOUYYk9ivxgV1OsCF6wN13WMiqIH4Beoa0KjGGLsOtT4E2tqCChFqqquCJe+B51n22byS+RO3fKutX/WHXgQesD/mIJvSMdUeTgZc0iCAP0vfF56/7L5lA4mlflGGIBqOqW0gpPqgCg/SrPRWQDZEu9wFMUsawUwLYjj/9iGivpUrmtUl5M7vAwcmXJR4wSz5AjNaNqOGMV6A8fhKhXzafxKKIBzd9mPNQtaSSh3GCEbtoCGCvLDU/USPLqhI2DCU0OE/bKdNv04CqG5Na/JFXfuLkHFHQzQzD/1JVPpOCzRJJeK5QFA70bHJTwKYmkKEUfSNRe7+PDLQqc0GQMUaP3E0xY+dmBwbL5R4=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1538423758

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

