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

%NAME%
python2-z3

%BASE%
z3

%VERSION%
4.6.0-2

%DESC%
High-performance theorem prover

%CSIZE%
164200

%ISIZE%
1920000

%MD5SUM%
5ce021f89ebcbd45d2b63b6af30b3bc6

%SHA256SUM%
c6bb4566f258ba032abecdb2986bee6dea67ca300ddcd766d7812d0ee27df755

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlr07tAACgkQdxk/FSvb5qYnIxAAj1vuWOLDPxxj9F57l0Z7VPsVpO3a1dr4h+7eGQ6Rqbj+2GbKwVIKyf6mik2znjiu2/Pi/gxYsNyppkvmiIOOijmXDmhRHqKa2/hjQ3yhyTLYl0GXXU+q6blH9zbyIaJrQwXSR4OFE2tcSoIrxxsLt2e+sW6EorxBYV8M9oSk0UUeJFLTLZAtoYkruVKp92l1P0qII+PDF8toMOiDdau5vM4t5B/798RnrxYfyroXwqioBj4aQ4Abi74JfnBWklmEgN0R2VORctlN32xwb41aZUP5sLImOBVkJUv9u1dIM1198K/ripMlqOZ13x6IKjbdk3Xj0FMtiUC16wf/Irf40+18LDwfmVNlKthcymp8VItgv61KTTy56P/pw/A1SOQkbTeVpV1IOydnGX1qSo9mu5E4lE1jgIUdWuZMvzIixe6fV5GS+m9snFcOLc6uXql3F2KF9rDMtnSoEXXCD2elFa+oBk5Hr97J4/EJTtvkzE+rfQX/a2TngY1FWpyQZMncI4JWTfGMKt/6D3KqfALKSWCcFG/LJmsYWMsqeNlP97Kynkmd+Li4lE8US38IxOdAnWGYT8MGB3/VfajQ+C1GLEpQpOH0AnI+H8lEA+bFUA9PhvAqE0cUfCng73FYx7sntKGS/lwWaqHZgk6V2ubR65BZ4k6CNHk5Xxi2D29h0mo=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1526001357

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

