%FILENAME%
z3-4.8.17-1-armv7h.pkg.tar.xz

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.17-1

%DESC%
High-performance theorem prover

%CSIZE%
11675300

%ISIZE%
42109074

%MD5SUM%
0b35f7247f17c09a4564f82fceba3ff6

%SHA256SUM%
12941f3fd1c87303db7a3800d604b6ac1fc31210d06937db864b99423c645dad

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmJ9kFoACgkQdxk/FSvb5qbE4RAAu5TPyb9nqhu53mqPg6NnuKr8PtRgyznaXRl/2DHF3k31AWRJFOG2CVIh4NFOIhGRLg23uQBFqOfiRWT0+KoR/V+UqHNKWxAopWgTVWiHHug021TVEtkX815tvY/Bi2Ydg3EBHnairm1q0vitsCsrf3dFQuIju6w57YIvpO8wNUEYDnI4LvGlqOcv4sS7/hTvdg5/hTkY8vS1ftpSFFxtzCpAEcjEUmLNaOkYQ+BkRSDzWQ6WBTOQCAOpDpPUzGmGpsI2iObm4J8POzeV+g2fRNQFmDC8k/xkgkJFdim6uxRjIJN/ClGJEON869IMI6rK+yMm3o5bmrHDg8JsXNkkhwOlml1teCYhYlguPJLBPQ+vDcxjQVs2gV+MUOq2046md9g+e7mhqk0nFxWSOKdJ4Fj5LgQimKVjFu8mrDxQbgW1ftIQVbJafPTTbnon8fXQu5y/ysaJ+L+ow+zN45xNqaYYuoPvvtBUdz9SYFru39cJY+QUsMR+v5AkkM7+1w0Z6ukavayW+px3rgw0vxFXewzdY67zslW9UyRo/gxN+QSXh9IiA8VfDUs4ZluDFrJWWY24ZOeYn5/tw3+AHu7E6+nCMUbP8pHBpOwhZMpjrNPd7RGjlsn48kx9G5kEZRj2N/8+EQ6XpwkuIXs3hZSt8vAud2l12lUITdcYRokUT/w=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1652395507

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

