%FILENAME%
python-z3-4.8.17-1-aarch64.pkg.tar.xz

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.17-1

%DESC%
High-performance theorem prover

%CSIZE%
182356

%ISIZE%
1722703

%MD5SUM%
a2f2e6ea29cbec559d1398741c2a7264

%SHA256SUM%
438f1f8c1e162bc46f26e71496c7bef4f693e97358221704078ffd7ee51aa26f

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmJ9mnkACgkQdxk/FSvb5qbo8g/7BbeTH+dN785vkxkspXMq5/qiMmDZnepduhdnbpHUtB18f73GEvxUvZv+KCZur5GtDp1w+eW7+gXPDATAhJ2zQP5hhvovLJZm3v0eygQcrsWy5StyNK4UyCC26EHD3JK7btxluYlcEqxZtpc6ioOH1Ut1Qf5xqMRB4MacUrMnXpO+24Zdv5Ob/htCWot+C3UB2LXYDlybjhiLICGdyg7uYvbQMGD3sTYbNJWeHBlUdomADcz8N7rsxg2H8X5exqEfx00gkZNKBVxs5W1wY6jBUwTgm+Ewq2MtH5N5jzJEA59as14VjGaCtcbA9GTjva6dpikpA1hkm8Yr4MA6bnow0fOCFiTKv9DELnl/OB11U5OvIwJSZAo7Yxz7KyY7NSwJs8vRVa/M4hSBUXICQed0yPsbCZQ4xEd+vLMNaq5Jj+WFPSmh2iTE06x5/sgYgWPJxqKxKj3lL334PiwWucOWMDMkuhxESFAf+VSSVW6MDig2TmfQM68E6/GmXzUi9cMzKwaHPWM0pEm2uPw6nN0ZBRaG7nxMv48zpxGUI47tcm9rAH+Al8Z4kUyr7dXjrviMSpyBPDFXUeC45cYsVyitBUNr+CCgo2uv91jvjxvTMS0eYiXmUvCVlCT01gfRdJ1kbYHXNSnQLJxmURLt3Jj8SQjUp3pVj9Ob3rocEL4ocjU=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1652398337

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

