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

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.5-1

%DESC%
High-performance theorem prover

%CSIZE%
173568

%ISIZE%
1810432

%MD5SUM%
29b179e59091d67351f9caa83a935ead

%SHA256SUM%
95175a1ed679c2e2f0142c591dda870a9802d62a45e1fa6129ba62e55ec09cc9

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlz4WwYACgkQdxk/FSvb5qatwBAAlFjoNPZzY3+UhHlPuUkgDO1q0NsHxbQcnRufept0G+5Ljrg2oVyL5EsF7fJP3+uwkZNrv7SC4elgdZj/UjMbsfSWpLiNR9DuPUIFZOxywwE+svYScMr09vURqRO+BtnwN0TxVsCXGowxkwGhGqYvyBwOdfA2EfVQnUETOgUbCjRy1T56hcdZIZI/Zsj2VVxYMc10N6gwrNMpAjiGW2Zhb9Y2kCLMc+Gw7q0u3sBXnism7wXH1hlJkQsDvk0IaNLJ1R15D5FtiadCFoAseeOe0ZbRFB5guNlVENR65QipttyH+Pg6uYBc6HvpWbd8czHvqqGhobWWv800Z4qZAQ+buDWqWVGDbSoq3OydiOIYepdGofsKVgkZk8byY66bxXQj8YKoB1X3ISL3ln+lKV6l39zuoWhpsGF/ucjivjQW8KITH95F/FqX/kJ1jzqmctfVRDODlKMtPrFq9L3zCpR1XsNQLN8QMFZG0522AKBuKCuJSq9Am3sxdBZdtt+p4s99wlbaQHX4T9sVfSIyTHIIL6rJulpV/mNR5J5SYjotKQQNMYI+Z4Z0vw403M6/K5s2+PdBMeI6ur5WwYLsl3DDML5RkTxyGmkGiRdHELoFmsoYuVzDbR8btxXIDzTyNYUTfl70w2hhwSbiqVNBnOITdDu2F7g0vAEs970WevXKm6U=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1559779663

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

