%FILENAME%
python-z3-4.8.10-1-arm.pkg.tar.xz

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.10-1

%DESC%
High-performance theorem prover

%CSIZE%
173528

%ISIZE%
1766445

%MD5SUM%
52eb1fc33b6c063a88e972a42cc16437

%SHA256SUM%
791e852da3bd64808bba1abe80509cdf506737cf5df0dce0331a270354e48aa5

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmALbFsACgkQdxk/FSvb5qY8LhAAmI18iVcBM2qiDL33Yi9hvvw6Mnd0D8v10c09M02tSjtwmHmhrsZwbaj0KCxIph2cSqQt9BfAXzZWT/i1m2QI08sWyidKg6DspEzPmTZZYZ9MZ8FMpPocTCm1H0GCaax7DnvTIi4NaDB6Rq/K1595+N1rIZZHKyklIBi65qxA67TrMd0W4i0LdT7UKmc0NL6gXnGAJUY1rviu1okQbKQNfX2uBThkP3meZkAy7aHCDC/CWhwFi1sbghc7QZRxlojLyUkVjtiU+Ej2U7wtMXchA/+Tyi4ioMSzKXS7wa3jOauOtUXinxQH65c/7Xpvq8JsjNupVFYJ1EanpwWNCwf+IYwvC9ICDVwbjfyLskqAUwU6jgIYrpb2TKI7FUwJDLSmUhut6VQQHoAc+ACBv++76wSMerF1X72rRtr1VUkrMSDYWkzqVq+m+NI4El1Rb5Xo+oRu0762Wc/FgoWriKnOxVLgYlndqyLqX2+fPMwy2JvXGkS6nH0Z5kv1q2GV6KOtZMxKD1cHqZs+1qodRxryrz92vR91pI5rpdNKqIiiKgeeyQCBA4EryD0q0z7ah369tmTgyyqGdYsL6uUmKILApITRRJDrY00u0g/NQSzXTEBxq2G86biOhEsEt3fDnlzd1jG9dtyLrbc3fOtIIMafgC9fCKocnIWPiBmQmNnq4/I=

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

%LICENSE%
MIT

%ARCH%
arm

%BUILDDATE%
1611360899

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

