%FILENAME%
python2-z3-4.8.4-1-aarch64.pkg.tar.xz

%NAME%
python2-z3

%BASE%
z3

%VERSION%
4.8.4-1

%DESC%
High-performance theorem prover

%CSIZE%
166004

%ISIZE%
1952768

%MD5SUM%
d5d014de3cf44f93bf75a6244bf38653

%SHA256SUM%
647a3a81b592c20812139146e892cd1e6337dba1fd1f61688d83450ad8349928

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlwdU0kACgkQdxk/FSvb5qZBKw//bH8BXl0JVlfJo6DkE1SbDVzr4JKahk2rPSA8zsjml4CGk8c0FQXA/l4rAXeM5oLQ4LUd/W/9j3kYekAYu44hYg81v2TqJiaxjgFjyRkbvcwGGDGBIathhqPd4jlMO50ak1PH0KPVCdg/dl60jaH6VZaXwzMNvHocCGT2uFttl34Tu/cenSJgSqTJs7QQ0/NZFfp7Ge2Oe+Zf7XxILovJFd4Wtm2UrXE/rPDBOwN6TeqdrbYe334PK+/B6m5z6FgwDj9JKMjmQ2fgSqNO/NNVVtGX9cKuaBeowcBCiwcFZ3rBTyibtBv7GPxtF0kEAFhGWQ6tn86xVaxfBl5QNXHTJMrEUb84V/TOJFyY0lAe9l3gfMcNv4Xg7sQQOY9aZiVA/iK5TVnVOumNLKMb0NavN8eYRpC6KHc8SQjNGmgWB1WoR5NqQduNq7JgdH66mfead0GSi5oZnA9vU0bOz6d0uqyYKO+hyWF/nzBfUZW0aZ8xgTUUqMPEsaF5JYftPCyyqsRW0zZ/Oz7w21/bvh9HrFjq0e9bTJuHrIeGBeViLZwvNGmBFMFx+3LD0+Q+IV23QThCiOTc2qeirhrS+tmgwySmwjjMTG8Jn9j7DVbfaeAucZS2FzJwS1XwJ+OJMy4ysv/c+tQvsFsV9aBTIt+w8kI5T4zQY+Av61NDaQbzqXI=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1545425510

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

