%FILENAME%
python-z3-4.8.5-1-arm.pkg.tar.xz

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.5-1

%DESC%
High-performance theorem prover

%CSIZE%
173632

%ISIZE%
1810432

%MD5SUM%
c01ee4f5bc0e2aa362e8eff366821301

%SHA256SUM%
ed212cf6a79e6db20817d7a1ba2f33440c03b869f81e78f46c0d429592fe0c6d

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlz4XEkACgkQdxk/FSvb5qawpRAAlriGYY4ChHCEXZoEuKCwVUSj2ASkYTmCaDNyh+bVr7rso2pdcF3NyUHE06TRiH9M1BAIrYohTA2xGaLumy0CgyIDzlK/8oBQl04uBFxFcpgJn4JSrs3gT3bL5hFMUHrwOt62vYYgeXgkNUqEfVw7Kl4vUANkpcoYnYLiE/xTKLZKu/qoIVTxgm7Z9TMN36j09DldZaENSahPg3DpEhr12YMZYRtaLyFn0gVOjcTsjqkmdhXXHQW09OEYEmXPXeHiyJmpJFzIksREeizyqQPDvNaLbUYuwOSpufQ+0TSDCSxFbEfpD35ER5dmoq8AKaELqfzJNd+1+nFTKYf6cLCWy/L45/tC2aAkAJSom+Jv5r74ELnZC9UcNKmiyYSE0p5o0d/FzX01Ytv3OKEEUaKs4IK0H9YqvuE1ket4k47tShcxh8T69stpRdqCYmmRGhq0dAkKWJwniG4qpdYm7AU4hs9T33Ywp5yrX4/GFRumyj82RA5HvrlAZjgj4qyt9XL9cYLcTYYD2yEMOPugiv/exLhzbQjqST/RAqPoQeNtgWTLPcE8eeJgKHOOtOS42nqXcoZ9kVYkY+eZgp5QjJBxZk2bFGVq08gcHMmelLD4rDueqlb7VKB8sqU+lBFBSdOgNBnmrAFW5XpE3iRV+IZUzuc04/BFA940m0nwcdp8/jA=

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

%LICENSE%
MIT

%ARCH%
arm

%BUILDDATE%
1559779956

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

