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

%NAME%
z3

%BASE%
z3

%VERSION%
4.7.1-1

%DESC%
High-performance theorem prover

%CSIZE%
10378732

%ISIZE%
36448256

%MD5SUM%
570ebe497335f4fd9c838ed3d53e69de

%SHA256SUM%
4e77277493f988807f7d35cae508095a208532ab6794167c9e54f3e88ff54f6b

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlsHSCoACgkQdxk/FSvb5qZlrg//XGMpfozOJrCPjICpLXRi0PJPEIYLcnMCC2zyJTg4LUrtgygov0QGT+o1qUD+I4byoxvOT9Gq57nR+Hp/aIJnEXYsC9RCKU0onLdqIVrR1C+5kpeGr2DPdf9F86Siwa3Gizk7QF80YSrXaF1KX6Za/zTk8IYbW69HLn5Xdu+dMNouNuqJ8hspW1x4NBeifnJD2u5GSh5R2FJZj610SPeI+Xb7VkYLi1nMfCwJzW/NThzQXrzW7Yvv+ThIiQ9Lhdggfd7Ma4z5xt4sZr14pK11VMT9EG64H0/D31bKykMzYTeU04D0iWhFcXpJBKPipwtJtpDEZZ+iQW4h6Bahm5ASYdicnT4WUutjWYsXz5NrYONDbx4/tLksi+4VIcXqQYDFPxWhZuvtH7wb/kGUDNaB7erCFyL7DWB7cBw4kf0sW6te/Al0ExmBMjYf8kADre6OdtXb765FFGO3Jp8m1QNMNotDSvdOISmlxdinz0JIUXwvk0eHvDQd0UJV7ApLSuc+AqfMgesXb2iDeb5xzWndcWXFqEju/3UufQ/7Ae4Jro9oRQyMhoKc1pGVJ0iRLbGf/lgySpogv7Qckb4tZgvzJpzyqaneSXWUk+DtsOpahySkY/nSjuFwv6KhBOYHHn0WIzdCSdJChD/2XD/QVPVSPzG/XW/0c/mumggnhD/mh0E=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1527203800

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

