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

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.12-1

%DESC%
High-performance theorem prover

%CSIZE%
174828

%ISIZE%
1774283

%MD5SUM%
c6a6539b376f715eca02a1e44a2d7a1c

%SHA256SUM%
001463cf64cd849cffddb03b41df0608df4a68a45d11d7bd0fd53a4db158e3ec

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmDx2XAACgkQdxk/FSvb5qaWsxAAn5VDPKfSTRq7JOVCRsOz3NSs1NEsY4BaRiONrzQq3YDhRZWtU+WzniE0X9Y0evsCOORdqDexlGasaXrrhAsRsTqN47m66AvTxFCW78klv12/C/Wb7OcMkCXynyQCrSDIgLyKOvOCpw/lVi+1PyswCs9Z0ItZLlTFLN1VjS4u0FIAL4PnpVbkGMHqbGQ3MxYcGZsSgsu0IYHl3U+QBID3aQffk3qmHvvrCdyQoGuerrFLz4dJvqBNk72He5BGUrTGwfxF1XW3S7kFWn3x8mRjMNzntvz9RpqBcf26d89fVrp63RQeI1gk7a5z2O8NwMd6u2E9Dol2/tiXGNp05eC2enuvCguAuQ7ehwsDo1n4z4DXrdYeYM+mH/wTrX9if9nxeNRiUIJ05px2OhUWsWUo6TiIlCDOdl3YomGxCLUHJs2hpCiWh7VcQFQWH601IRriz+vKlFLESQCaRmsGR4v+zvyEV8FACdbDncEWO9iFSt0LPU02/HCkCDWkKnEoozmNJeBOU73/bykGYHsS3E+XSdR/MCmwc3l5R1wwP8Av7v5+VSPHgwhv5AqEdr3CqqyPfrz0W8Qi+qShn7H+3TA/9p+s3shQIgf7YIQWynv+Eh4mApaLeqsE1SUQQ6Q+sQgacGXUtS7bFzIGN9G9eJ/hMQRHgUiydQ4umblmM6Rt+Ss=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1626462004

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

