%FILENAME%
python-z3-4.8.4-1-aarch64.pkg.tar.xz

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.4-1

%DESC%
High-performance theorem prover

%CSIZE%
173588

%ISIZE%
1735680

%MD5SUM%
cd1d8c72bbea244a60ffe3446d99aa6f

%SHA256SUM%
2e9c1a1485abc8498721fa7c9e5155a7121a332cb54818421fb426865044d1f9

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlwdU0kACgkQdxk/FSvb5qanLw/+JBsHbJY260reoSSTqmSdyNzCC5oMdyOcdSuTQjHvW7fWHld0JkO6BpspBUr/SO51fy1MtQg1tLoeVgUWJbk+qBIDVRD0EOVi1TKH4syDwqp8bcizYmXhnyQXFxSJrMZxK6omP5WM+7hNH/i7/WAeanYoBQv5gES9pxiZo5zFLCIiXg26N7MLntnYIx/bWHu89awgl/DBYhzIEnnQkD3qcXMV2Ie3JmIj9Xjc4wsMMmPGpPi8wugfhKvW5b2XGAK/w1CcxLNJM3RM8H8S4C4bsbJ/3lLHpnu1e1TteQCor1F9HiIumnYgq0mp65llLAuNcpqw4V4+S3wrb7jAbcyn0b/Ib2aUW/if3gjrzYibr/YkTuMX0WjiHe5S/zihmaem7/dtVfrbCN9dC/DqueCNmJ765Q+1sbv4r1DC/xEyXbYiBUjYxziHs+JYY+Vl9u+ZUWadi+NzRTpR5JGBCx6gOsWPfT8QENCaeFi+WO+LicmI16hFQ74Jn/n5Z39nznJYC0Y5Ykd/K02WlE2YOja1/NfCemyBIhNg6kxuZPhRNZQUw3EaUrgANa0IvrIbq0xpUsLSyxE7udTQSF8+4CVx9dji/LdLt2IvmNx2+/Q3wzKqDbDZlaTat+SuYxRZwuRMIfV/xHitaiQp7XT5vMGchOS47hOukBOZqjYGP4+9+DM=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1545425510

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

