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

%NAME%
python2-z3

%BASE%
z3

%VERSION%
4.7.1-2

%DESC%
High-performance theorem prover

%CSIZE%
164472

%ISIZE%
1935360

%MD5SUM%
e8c0e6c1f7e308009bf4dd74ff828a9c

%SHA256SUM%
cc5bf3c94a8a494ca171bea6d94663cc388583b2cc39933239ab743e2f8c3b3b

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAltpzOkACgkQdxk/FSvb5qZhVQ/8CgSBN8QPDLXW9S5IEP/A/I4g7nfDxZpWtnR4OhK90foKdeF1wDiTWE1egXun6Tnj18IgzaMnIwvc21ADPx+bwf9hrjqmauR6MnIq2Tckj8mdKMX0HpZIkMziNIYy4AkTkWyjW7S/DSbiUCU7YD+RLwkhMoV3T1nOhcanazlQ06LJRjAxZJM6YX8+UbFraUc0jKduumdspOEFbwrTLaMxDZv3FYUCTwVoMkgfWDkZBE0CiVWMdeUWL4Wa37pfwrAXSwPvyp7bYTUC6BXDoobTHWIa2GXTD6+pCw3QkTGWF8lLJoKFul4JrxzymNuogtyK/E2v9GEs/f6FkRyJpLtpnGsjLkT+A0nDmgLBPUgO86hhWovmY2A1GnHSs+r8l0cQM13cDJ9mS9GzEY0Uk+7IqLzQhydpYQSyNGIAcK/u7Xe/Rx+9j2y/jPqhi2VS/hUfIMdZZG8ZSDO4JUFE5XhfgRvNfIt6LwrGZQJFMFjIKPfBlbG/hC+JABXuRLw+Jn07L4DIdhGlajmRlfyHSJZVjp7WVeSmzvRptGMGOFRjpwZQm5oiEIAV0HSIZXVltaENSeLE6b8s9ZZly28NZkR4/p5ecg5kqTL4p5RDSkfAVX0l/wpTZaglTPE6aOpcanYglQZMy7wH3X8nuDtQOh1MtadI7miIIFLp0hls3Opgivs=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1533660078

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

