%FILENAME%
python-z3-4.7.1-2-aarch64.pkg.tar.xz

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.7.1-2

%DESC%
High-performance theorem prover

%CSIZE%
172180

%ISIZE%
1721344

%MD5SUM%
b8a7056fa37fdf547f3900542c4cb740

%SHA256SUM%
5186774bb74111c5987339ef99d1182c65893020aff4f7ca6747d85c333f3648

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAltpzOkACgkQdxk/FSvb5qYb6BAAoPbB176nZ9Cd7uTpEcrElkoOChB0Nv6FYZ1M+fcl6ipUaAhNaYgRkDR6GylyxAKeuE1bOuKCeZjctNzkMnvS0+6yZdghpeEpVmeD0+RvFHSTVxiUUPADkB+SnvT6gI/YvXOhsUhBxXO2V5Q0hQnGT0+pnVp3y+xbKtbW35IFVtLLiRsMxMAQzbWl9Vd+vWrZs/y06ju4MxX1zHTfjNH2rhF91qA9BHVwhDJU33vQTvuUK/6IYNi0mwzFV5p7Lvl2zgTntRzzF1GA9n+CFgPeqdXelRJF2gPAXfP3xUTXnKM+miSiy6vfb5zcIKijATrO52t/jnArX6nrGMVHu8GIlRtRsKfqI3QjFnD6vKMMOUwpDvh9WjEChrcMCRGY3mQ1N71D1QCPaUQPuN01xIStsEYmK9F985S44NaqKtpGUn5lXCHTA2rxJO6IGkI9YJ7y7MpINnLZb16LogOxlduDTP/p1E4uo8hUUoGMuQyMTg/HF5sTy7BXF04At5fNZfZtdltiVUbwTe1EIj5bO66AQCxJRb2AkRN3gOrN7zXBbeB5Iq3f4aZw7m8igLONeVwuuLS+Z1A0Lyxvhx5FYa215O3eB9bV3WATs9GttOZ0VFM0yJeJ5AHo5SK7dzZN0FP3GpUd8MqJy0AcoOQZ9wVyBXnkVG5MqBLsHadWKQ6AXXY=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1533660078

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

