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

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.10-1

%DESC%
High-performance theorem prover

%CSIZE%
173664

%ISIZE%
1766445

%MD5SUM%
cbd486a8fff9f58b98d517e6272aa199

%SHA256SUM%
9c4cb4e2028bdb674ea7c9b69646e5ce09b2027c862f71b53fc3bbfffae12385

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmALVzUACgkQdxk/FSvb5qbAMQ//aEfT6tBqYOwYQvIuUgU0a/seM7ieF+P9xiqqpbOzVekXI+eU0r+oJ0vNCGwZp0g1NWO3D2rD/M12HQ18SP0LRl6gW1dCnE+rh6wciZ1QGWgF8CHpIJD6ttI7AVX+9uaLEoqbfWaOSlfqh+t+OZ+ebCJs+buvekbFUxOz7HyqjIeo+J+cj0gelgNdwll88MaalsMndbm7a05RPILg0OJlKqsKOjTu0/zf8CNq7rbvGVnUZ6mDYaRynHDwYrS8rvNFIi2eSrv6y30gulQXdi+C8tfgm90hW19QAkjbcAQKnZP5KS/LDUGv1ULEtQX4x341v1XHg/8IaITepwTaSEJXsRiuptMshl3V/mYvTJQ5JKLGsfjHEQ/1Me4l4x6gJhrBYe358sWq9qZyFoZyCTP5DoYkREdtSdu/4O9be1l3Wwxz5yKEq7bpT0vIxi68IzAbf8U1+hSzjXgLs9sQbRUoYdAjmVL2K8lcozid2QvoSCipHZARcWNTKizGVh/Vr/aky/hCdEp9oqX80W70VIqirfhp17kIrSmkph7NnEws8GEQsj5o8Sp4UzcKFpDbI5cMlBlRZ0YMAvNQ0C4HXDSxJxBRk1kuPyIwFEcvjvesN3u+lllkxulLj+40tWlKvwbHidkhysUeU0tla7sF95rJ7T1qswJHAGLK/9iJkdJFMHU=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1611355486

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

