%FILENAME%
python-z3-4.8.3-1-armv7h.pkg.tar.xz

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.3-1

%DESC%
High-performance theorem prover

%CSIZE%
173376

%ISIZE%
1735680

%MD5SUM%
78e92bc721b8b1579f412c4e4fa3eafe

%SHA256SUM%
40e8dcd17a3dace6411d6de92c806c8bc7557f20948beb7a4191ae339e2cf4a6

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlv3Kk0ACgkQdxk/FSvb5qbihQ//dVDMtamYoSSQNkcPUj0O9+spvYcmjv16lzVNJV1/B2QtMY+NxCkx7+owAACD1SpuL6UsEW2RrKxLnmLB+RydI08PtTrTfqlP8zvx6c3mmO8oEEoPLqs4yxrlHamD7gHH+HGqgt0VnUhIsMEQKJjcQ8AQmwi0z7+za1sHqElyIZOppjxXQbdCDhUv1EBcGpxW5iuLyLGQ5KFmGB+UNNGxCyMOAN24ijAsMV8BbuJErQhjQAwSgpAMSXAGjfHnGUfpv0kUkyV2WzlQCxERLxSC/jsn1hewskP+3V1uZQeaabAxpj34nXJxRB29BvTdBIkuu1bS5Hr6RftyJmQQXpxaoRrVdixL8rZjwene/LKbCcq/QTxFhWL87qY6+5eO7Z8h59lO0bgdC5zyg6iTPB219Ffj1CnZq6Yaz4Z09M1SVud5WhVi3oa/ahZ25z1rAkQlg541CDSQ3nPkZgIkW/I4A3FrgrUEUKZtFoccxc/qgINUC/gV6ZuoeJzz4ncgGusPX78E9TvpCJWahL1SsAo/kleknxpEkbN3D6FbwHk+T8XawcGe+UCk/QdCE1jlnJUax6l06Yr085DDAp7zQ2qIplsr0OPN0Yl6Xr1bfXch4AQX4YnqVoF/LgpiYCkayDnfTNALpvmpD+nrhHubg0gQ6mQjJyBUpEEd/OuHtnsXSpM=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1542924459

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

