%FILENAME%
python-z3-4.8.14-1-armv6h.pkg.tar.xz

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.14-1

%DESC%
High-performance theorem prover

%CSIZE%
182384

%ISIZE%
1702871

%MD5SUM%
671f2505158d4a683477acde75f228e4

%SHA256SUM%
c4d759c64ba9ae9b0917e283e70bdc33926da21beed4547eb8918b46cc8ee22f

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmHeRycACgkQdxk/FSvb5qYsUQ//doPf0Fw+3jGtIOUqA4RIkh32FXeOKfAilMElOP2yEpsUuz8mEpVYAkaJHAdjvfzJuJWD7+XDikkTsnw/qLk6d79dCeTedHyFbp/ZhkGQCiGTlJ7BEA28WYZptBDZGwcoYgLwQ8SbTGGG+K1Mg9iKNw0j8OU61bjt+5f2bhsHMlwK86U2XAG83PXdFvggmNo43amIiK4zEarpDIMjK5omGTWOG+ynG9+OVLBWBX4oY+X4y9t6Y19lq7MOmjTHjVp2xvhdRd5/8681110uEolbiMetz+pDlHyVyiH+yM0kYTUo8eaVP+C0ZJtp8b96vtvSE7dchwpwBjZVeJ8f4n2gEleYCDo/kzSsN+P/1gfqcw6yIn6NUxoHbBTLgoHhRODk5t0teanq4KKSke8vKDHq3FrdkAMR/CPXoBVtJzDde6ZZozpijS3Znrzy3VD8uB5pbXtPwdqsgyRrkVqF0kipXFJgR9KUvWVg7kCJRzBUeZLXIBLvYMHTnXpWBo2+XbLXG1gxchcfy365PbPZmfCWEAtJ2r/bxJj66LCPh3v7bJAEQhgdfTC+rio9948RUsA5PrLqR8DQ2zafaVOyhXo4vzqiTv/GxveOUjU4N9pXJnWrRLyJb0P99useDZCxmfQmgxI1s9qgdQeKduJ6ubU0/WZoXMgNhQpF68rV2cSBu3c=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1641956571

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

