%FILENAME%
python-z3-4.7.1-2-armv6h.pkg.tar.xz

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.7.1-2

%DESC%
High-performance theorem prover

%CSIZE%
172208

%ISIZE%
1721344

%MD5SUM%
e0455de925d03848f62adf097300d0cd

%SHA256SUM%
bb91538607bf19b1db14a1104b4a13ea821b9bbe34980d8c82455e34cb85e284

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAltqIAgACgkQdxk/FSvb5qb8WA/+LXIFnG1K6Ph5E7V3RwtZ2d4DCFBi1iqLueAC4wXsXUKOziiYhNiKtfBdFWQcnL651bssX75MRbKJlypsrIACXCcTNWbwCIHu9x82QD4nay9ikaeGEpACQlgehPvZDiU+ZvBUPb5jVVDJV5AT4a+I5+BTbDHwKX7tQxtXdWYw/reNatEQOncNpZF+JxC9jBPif6SD93tAALJ6B/ZnTI5xnVokGePOQ82ItxAjyJPtMk1ph8o72ZW8mlIBlF/BzygfwLQtvu1DjXNsEd/Q/QFoQTKpLoYmAmPxo42HNyGFfDKECvcA3GimsrAo5IlKlLGmXw2BXVk8qaMrhbgRAXqmNrGwqIFK7fcJsW6+EEK5f/5qZosLiUFII91N3pdnoo4b1NtpaQjWQVb9SWBGClVFGvuxe1JU9/1mEwzY+kmo29Ir1GNVJkzmqq2LvsukoK45sQvW95LEG+6P1tUB9Tm7YSuX7l84ThNHdDRwuByF4V47RjlViaaB/2xL+5L5S/pbHe6uzloaIZrziR8W2kd61Hoeeq/RpUSOAeWjMX67/m6Rcd2yxaG/ejyR+/zPxxUu4LH38iH7Ppfi7FWyqOTD9SBSvv9YAqbgxhXucSR7KudgMxlBVPHsPcyREnDa+M/nvj2CdUk+JCEx3xchrh1E2DbPzx+XVFbN2kjClYKDa+w=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1533681102

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

