%FILENAME%
python-z3-4.8.8-1-aarch64.pkg.tar.xz

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.8-1

%DESC%
High-performance theorem prover

%CSIZE%
174856

%ISIZE%
1739773

%MD5SUM%
22fb15eaa2ce63250e264ad165ef1530

%SHA256SUM%
622971e26a6c8d4284060d2f10726cf33f4db23f96c72a2284d87eaf81e029a2

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl64fagACgkQdxk/FSvb5qaDAxAAnbgvJb8UWePtmd4MO0Ne/Gc6TmvNdQ4fFqRez/Scoow+yUXdJ3oku0znC/YEVJFZ+yKJJveHeCyaTME1G3D2q92qKXV9W+fHFSvgvpwIuTPsHUBL9oTez9Gvq+1xsAtX7tVp+6w9UTb5pLoQ4PYHC945R0Am0al/2tcI7u+zZQslnVQ+mjzHoSSUz7pbDy87xBEHUveBEGOV7lOBee3SRgRWHEz1z4V49WZkHQyw9ZTwxBiMbI939VIxpfnZ+BW3EHjyAjizA8HteWHLhL8F96WU5Kq/yP0sqUsV70uNgEhdC7apE+q8yIFC9OjQTjB4A26IIQ3p/pKZ5GcABtLaRe8xdogI41mAkq7VXLobFRvDQcrb82dIIHD0b8CpXRe7adn5r3etxRcY+PvMFdt2LQy+YAmWosCPOc0GrwKDBvy/Z373n1Uq8Tl3XgBihNQ/fhRyS6tMiKtPSszU5s2hB0g9DviS8roKh/++RnRSW7nErnrboIQD4kpQB3DdLlsAK4RHLFS+l6nf7zziFH+zZZWW4jD1y148WCdhXZYDHhURIVxVaYfai7crye2yEHPwAkAH1GGG9Tz51Md1YFl+CnoaVXX1oFsIOzQhIGH6xvBmQVu2FSFRZCchgEBUlOi3wZ3ZTsrNqwJhPjGkzOsFPA4HyYCLFosTgO2wytg9HSI=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1589148716

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

