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

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.3-1

%DESC%
High-performance theorem prover

%CSIZE%
173368

%ISIZE%
1735680

%MD5SUM%
a2e67c213fcf7b7a403c925b35b3c8e4

%SHA256SUM%
b5542333093d4010d361c9e3f8eada7e38f18532791db54b2c40ac53df81fd3b

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlv3KmEACgkQdxk/FSvb5qag1hAAxoJFGRfutWiVrTM3mhZckO7nVoh3ru69+l7k3nYiC723OAYw6ohyq0T3eOCZDG6jHVMLrWRwWmuJYd0sOhtMAUXGA78Nnu16SU/ZWT5y4HMaJ4NmHLFQy4YSI7YHrvGk3WTQeGbiHLGECwfR5X+KylLwMps/rR7pmoFTToRW/eIrxM1aoBFPYzpRGP1LnSfcwvFArnaeKjsdF0PrXK4hIoEpzoxemtGyzwQtVFEy4kkXQxf7wXXs9tPrqdgwLuBPLLOKIdWaAWM7SHrhjp5+YlHKH1yfcCbpVmPeSVLSDzIKfuuJOT+VsWbNUBZEmbOBtw0lN02kO8orNrYo/0b/5tr8YolMEe3Hyn9HLmM1YvsuWTxxCunYpvg3mBLnOdE7CPdSDC7N851EAm7RjxYl6Gd8DyAnkwYGLbK+SczvTHiaEUU8O+l9Vrptmw6RolPoBn6D0AdojctA8Sj9FKPMhJdh+64L1WH2c92U6QRb/Ld/422Uxpa3CsZvgO9euzUFXTGC6bKwdaIGc1bj7p7UdrGIQgv/+XNPsNHRmmw+i3rqfZZweHrEhV/m1Kp6sJt+1gmR3bIGgxKjuKFm6G7oY4I4lbfUjClLMAM1sAdcuQPGmkVHzJX+5cUaDVlOu0zfXU/qaY5uv5+WvKx6hUVi7XmDFByhLPgmk4JA2qjd2RI=

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

%LICENSE%
MIT

%ARCH%
arm

%BUILDDATE%
1542924462

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

