%FILENAME%
z3-4.7.1-3-arm.pkg.tar.xz

%NAME%
z3

%BASE%
z3

%VERSION%
4.7.1-3

%DESC%
High-performance theorem prover

%CSIZE%
10308656

%ISIZE%
36467712

%MD5SUM%
4e2e54f5d78728fdd6621d0628e11fc9

%SHA256SUM%
2b7dfa96f594e80998f701af6267e7dd3eec5f14f39ffc225e69a458a410ed38

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAluyflwACgkQdxk/FSvb5qYe0g/+JyNsDdmjMJg1myzRuJUjTKbybIC2Bf/UKjATmYfIG4bOLkU+v+oVbSngbI97wB7lZX2j6dRZj1YEtJKsB8A33rrMxMS8bgD4XHf15WUIKUNdfOvFj9mBGbEoLOXAENIBtk8Ep1zKf4XMD1gulGVsq5mayyJtsiiQ9WA1JVCe40p8N8h5TiyjyN7sPLDXuuhRIUhCWykCPNIdnq5xWSymkFo8p5QRYbIn53tyPgpYRCb9wNUfIllubvbrbQG6if1lUmW/6AA3aPdYa7q+rfYFvHGpKbsh/4bUpY6jJZMMTXfMdVPwjS8C7nwEpYEzjncTbFjGVFNevm6UDYIaSPgdSycq3ScxDNTG1hGTQpEUoc0MajSXx2HvEZt8a7STSt09fw27OylnTEtTUdppaDJNkh5DcngX7KE1jJFIdVxdxpp8qvZ2Hi7pp0dJtEffstD6a5t4LsTl2zwy85HuFS0kqy7fFoL/i8FNBvr79cN149kuEl6jGspYaPxPEa6PJ7RSOHcoDxSatb2DCp2YgCsPhnu6YGp4RG993lzxBFZUSzsDvDXUX1sFfg7EzJMqfeUUVrQi6yp9SWZ88TCfIWAzmYfcUE7Ba6lOYoJaWMHE3f8YKgwN95G8g0bVuI3zKjDcgVQ98PVYIwDab6Pobx2M9Ih5CKkeEs8+eqciKzUPlSI=

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

%LICENSE%
MIT

%ARCH%
arm

%BUILDDATE%
1538423756

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

