%FILENAME%
python-z3-4.8.9-2-arm.pkg.tar.xz

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.9-2

%DESC%
High-performance theorem prover

%CSIZE%
179016

%ISIZE%
1772779

%MD5SUM%
624bc1d6edc445b484babbaf1523b36d

%SHA256SUM%
50a69a1b321ae06bcf6e9833bceb39e44c09426ce5e12f0d1cd0da848eda3ca0

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl9dZQ4ACgkQdxk/FSvb5qYdsQ//VM1tstg7FPvgLCXZR4IrCa4udwDlZjjYXP/FPcWulCJiI1nYfm6WYdc6G4LxyP8NB96KzUCgeLIPLZ5FQSQ7IBueMFUoWlt7jMcFXv5ACUlrE/SmptXlwFZR88Wr1blUMYpQg+xcqTN5KDqguqnju+A2rhsC8LP3rrrPEYbFXA5AYjlmfIztPpG462XIai/76eczxs7rSZzFY2axNFgEwoBE+3b/61yjZenOjvLolP+HO1ZBriiMsvXWj7Bwb24vTeUNZcZv/E30INbPK4iax4oW/WfZ8SFhFUinJ0ru7Y7hqbEWjjC7qNd56zJ6TKHkWSHjCoojk//ZptDjcSoM7aBNjzM1sNJ9E9ese+u+laJgKqG5U9oArbvIi/lRLPPw7/cZdXay0+8fgZDkAY28y1lsnXSKMCh5O9j/EXyoFH2gJHC+EGelygLHoBVcBAP/sS/bNfA9Y7NfrHhOzVVALGljDBx+IlaTj71KI68nZwg/Okvcx7a3wSQMEBwWesz7Tgu6bAJv20WnKcCOQbKOrvCr7aPPj/AjszPUSuXAThvmoc6eewrvdjqAajwy183p4pmJfPZzbKVHWxMJ7Ub/go1Vg7FZbxsJqfSzzKJIwXcdzYq0etfLKARQr5Gj696b3Fn7AH68Rb3ox8Kqi6XuFA+QYBzrldz49fw9az2fGI8=

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

%LICENSE%
MIT

%ARCH%
arm

%BUILDDATE%
1599955772

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

