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

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.12-1

%DESC%
High-performance theorem prover

%CSIZE%
174604

%ISIZE%
1774283

%MD5SUM%
cdd751eb877e9c679edb6ab9b8d4167e

%SHA256SUM%
e50e47797e2e00494571b458861880aafc2a45ebf1b79fd80a955e5e09b1c7be

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmDx4GIACgkQdxk/FSvb5qYFzw//aytQU17TSy5+FYOBlH2sGtyXUXF7g/Su7Cq7bWpIzaa6xDNp4PeDYDj1yFBHVhD6445n1hnbI4lGj1ULGczeaqL5IodXCX/QqBMtOgX4panREXHXUIabheb741/2gyHCcZSI4PWVlhkycmQhGBM+poGYY2jlKKBIPFxVWu2bcVD3Gi/s/Y/qrE13MQ2mkjx4ycd8XrVBn/Ib4QgQxUySA2Q9x65BPD/jaflBL0KsHqItzDtkKsitJXy+P9uQ/9nMuojrF9SCAJLgQtRgYvrwUkUR+MufbG2SctQHMJ8qIWtQPxoNIIEdFUZB+U/mJ69X/M/OzeI3p3qbpWg/xDCxZ0LEUSNhsmq1ulDJ5VR48sse2x9PmKkSk6+umuvJ8tTz/SMdoyZG4P7Sercy4M68Bxe7nhnWNhbvYPV9zVNdK3+K2Hg1ghCX/VLQlWfj+ufxhvTJDDnmIO6K+VWovd5zMBvjcpJ522FZWnthX/K9XUenCkQ7z2MqX4AbeWoZevJgozhHxRgOurR7JBfRbs305lmGPniUK/4vIuOfHhCir3OLhttna7N7vPocGXgJ29sPX9MOLN2wxSvvPJarq5xp8W6R9ierwTpsVXCrg/9us9yDO3Fl8eOD5hlUDuXFMcSSDCQcE1md6Bg/0HzdHuKoZ3PDEYEftNr/PkL1WfFUNGk=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1626463763

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

