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

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.9-2

%DESC%
High-performance theorem prover

%CSIZE%
178856

%ISIZE%
1772779

%MD5SUM%
9da924941ef024f25df18ed397624cac

%SHA256SUM%
4362e0e77b5cef524d32c116b1de2ebe4c1421ce7aff5f60fdf80012c48b9752

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl9dI2EACgkQdxk/FSvb5qZSQRAAp5KzZYZjT13YzPHln/CTN153J/K+oWaIdKMFvXRMpmoYvrfVJPEDXBs5sc2IjM2bTOCXkmtQu0RXFZwZgJn3FJP/U1h/XKQdIZT/26QKOnchtdDDA1gmhxBoFJHv7NKJSBykcrd/iSl32IpcpbSDjXQs0QHi3/7ln5jajQYrmmSWuZ409vlsksIFu7xRDaFtP8IAEgG+w/SjmWhUCo7CxT+Xrqhsks6BW81do91PJJYfouwTNjoRPiViGQxAApZU0MjXAS1qyQI6uqSjQI4ad84G9B6d2YW8q3VnhRwU80pcAMelpxiOHlm7MipTMv0+8/9TboqPNdxLNt6ZksjLjyAH3CzxiiumdpBGUAraYbc33wUsdBojcK9rva/9LWEuKHGCOPlvk8U7Z0h02jlTcba2qf96QfvqIslc9iF+iTrtVHEEq6Aa9FrgsYzZ9PHSbegmlGzZX1SxSzw+qgTuL8sA1VXYrZhYmWM+BVVkN1IlqLk+2LNecSg825Onz/mD/TklXYSTYxJaaZG5Ibo2KzZmv6bmt/BTtNF6/K95ODVp2o9yeHxbsKfY03c/AerhDRi6zSgiSAnSpkZSjq/h6qM5odKaR1VMubFpd2ySG4nbchL2o+iEwaIwC2YyEbHfEVb/ctG+BR0N+bsv24gs6u4CdMFMCmZB6HHwyFZXMdk=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1599938969

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

