%FILENAME%
python-z3-4.8.7-1-armv6h.pkg.tar.xz

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.7-1

%DESC%
High-performance theorem prover

%CSIZE%
174704

%ISIZE%
1736200

%MD5SUM%
91a4781359efd2edb9b28a5a53b7e77b

%SHA256SUM%
3fdf22e792e82f59b4f2dd4b676a4d1f6948d1f1ac9af925b1de223e683967e2

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl3YPAYACgkQdxk/FSvb5qbrYg//SVdiplPci1IHbm5KmXozR0SBsqz8+0nprguxDY38ZHOdvmgBRSZdX1iXwetdTV7n8H8QOBrDJ8sxVnYbWKUVjw+ydMJHU5AqWmLyLf+UcVoFRs0xDtRf8UkosMBoAmZ1B7WTP+EKtt4Zr+oNmUSRFkwHhux9rKRu/E5TJAbmYZM/KnWT81rOBWg1GxQwze70NP5MKVnVD1cvKrVYQCk0ZzJsxu5AQmzm9sqYc9fV0wzgf16BslO6BZzL/s+qOFDAsNbP9jTtAdxx9xyQruj+vh/uuPatRK9IPfZUaUk2E5/xvuseiZjWhvBjPeErc1JvjmjgW8uSeKI1LyxgfiklqL2zpf7//20fscBKNFNmcy8oONVjXyDIguNOTiSJpGySwlZxP9NH5k5FT/Z1hL6CMAbHRmLuHD+/U+7jebHZcUR7qFtFD4sbSNPRt7P16ISqbm2K7gMNOMvr7NO2KgaiuA2ZKiO0HoQGuT4ku2B31wFl1xH00IquQXimzkLX6xzUn9FaPBnfC2XmhVr+euLhzZmmSncTnmSijMMPXXlrisA2BFZLsmwOrEh6hyGrD2BukwNqN7XQCuDQbXfbGBrNw8tVRMo0uCVC2ygEdNSLDxqRWfztV9l6J88iAX/i88AewuLiLQ733A/Nk5Fyg9Iv/kfYGcrzms+mmdINLmL8va0=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1574451815

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

