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

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.1-1

%DESC%
High-performance theorem prover

%CSIZE%
10425788

%ISIZE%
36604928

%MD5SUM%
0f0a4e47f7834a824bfa06c1090c6442

%SHA256SUM%
d688337adaf14e18544f1e05eea7110f2dd1bc66affdfe91ba8d1171a2bbf59c

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlvh+3sACgkQdxk/FSvb5qY2shAAxxe38wQ2/guMGxjL3hW1AblLBXia3O93SAPHVADg5wTiDoXapTkTDiNWdV5Jv8bmaVMdRl3oWdirgmZ9Pq0aS5dqa7lLcLbpDMdzITI4YRRDeJWC6ZxMP5T7T+Ruqs4eV4HbFC92Zciooykxz/erAefD/juihIQ7jIpu/gmZuZ6oaod7PICHJkFh+VNRjbMufS6xZyCMuOFDZ405eskEnXeWAWcM5zJYGbADrjVQAppaN6UrJj+PETldBIDbBUGgtmrbG7fdBit2NihnOMa1B+yw2pR2hdUvCKPYuiPHkd5Vo/kJMmsFBr2uQacQaORGKdbP8fwVVmxb0n8K71U4Pc5H03sx0aX5Fqeka0GULijdvyceTgBW+IWSlomG7pvfaYlNuhLqCo0NJN6zOSIWRCZg9G5wo1oAo0d6hXZHZSg9L66Mbi65/X7Cf2xI9d77H9aEtBg5KRM19mavYu1glhgpUOXTBQt06htrbwQl2IMYBMxGLty6WCjDcnGaIJSrk90F2+Wg3GZoJK/g1UCQ+ivNdbggAu9UsPkqcu3VieJ+ruwT5M8KCKCUo8u790IjxwGP4yWiTUlHujdjCOGLMVQsHb69uuc6/4X6iDJuixpp2JXqZASNc8gdj+8UBSlIkmKz7P6jIJLmu8F6MXB6Yp/tw8S+rkGXHiUmwxxOUfw=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1541536194

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

