%FILENAME%
z3-4.5.0-4-aarch64.pkg.tar.xz

%NAME%
z3

%VERSION%
4.5.0-4

%DESC%
A high-performance theorem prover

%CSIZE%
10350948

%ISIZE%
40751104

%MD5SUM%
12cc7a076b3f1c27f696a043b7ce7072

%SHA256SUM%
d19164c8b7c29b2857c38d9f6deae0121596b2a69f89a41b2f0a3a192f440959

%PGPSIG%
iQIcBAABCAAGBQJZoEjEAAoJEHcZPxUr2+amAekQAKjW4RIMKKsFxWrbLbvWXbu6JidNqu1sbVvaAUTtST60uMxMBDmVdSLnukDHawPLcYSCynDiKk7FtpmbRfqaZd7szBGa23vf7aU8GLBq+t59XVFEDeHj11dy4xDpqTk2EINas7jTljNgU5P48nKlge9Ewwc5S5Hs5OC13GvsCADbz2+iTMZBfYK1Ycuvr1A9rE/u2fuW588FKCn/2zloGyL5W3Ymej+NGDfStgvvYaZJfmzjnfAH2otDRuOSa4Z7YGr3WoV9aHwBm4pYOtm1cFccUJDwZX8Ll84JWsqQbQTshhqQjv8GhD/LFaTpHJmLNxi8D0++riNRWpDvd2aiQrRPpEPpcemuziyZpxoSLXSOS481+X9eccsbAMNesA8BQDd4J5a0q6eXb+DXqz7eyON+SnyhYavDE/Hl7l/U2o1V4ylPGjQdjLTzvTHaKFEVZDkLxuCo8Ueq2ARVDEORuyNI8hhBNFlcCYZyTgXfM3cksbiHb0jonRg4ZMbS4GVSuOWSMCeKvk3O/mfB3zsmt6E/qwn4BpjKe9KwCaaZrxL2v7VcuKvVs9DPBzVdsfR3I8oWL9NAzAnt2sgj1indVVaRYyODF5bwrVObJdwHxXRvJumWbmMABpmDRqWG6xzlUlebyHh9JbYZv3GhAmO3O8nsctcTtxjINFfJAqfMUVkC

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1503676518

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

