%FILENAME%
z3-4.6.0-2-armv7h.pkg.tar.xz

%NAME%
z3

%BASE%
z3

%VERSION%
4.6.0-2

%DESC%
High-performance theorem prover

%CSIZE%
10349264

%ISIZE%
36299776

%MD5SUM%
843648f156ec3f51d89f5c2d81d386b7

%SHA256SUM%
e8fa24e80b714761537549c43ce76629a4c308ac4789d0bd73ba2fe4697f4552

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlr0vM4ACgkQdxk/FSvb5qZOXRAArV1j+RMb3E95lQaejCGXZIaU3t87Y1XSplS/fSEuIB3eCYajupLmjHi0lCupoMhrCV757g/NOYB0h0L7gSRZqGpyzGs5fyFAzhiAu16Gb2dWw9s+uU/54Ksz5pjKJDnQtuqIw4TIi3CVL9LSRS+Pdrdixg4S1j8aEUTw8XaolFepQBX1uAmbyrkQPj8Y0xeeu2KfB37WoABT4Avulos2uATpzIJIxjXSvLRL91shjvJLpeIJXSkrXFGSXRZ9yZo7oAatCnAyIZbzasT4Slymor+UAJ2jfp84d2W+DnyEIyJieH+MuMe0Hv7YZwDpCPX7QkXD/ZdJ7FjfFJAHwa2bWd3J5zTA05VYC8IN2XwLbdVCpziqjdCLxhx4WXCgP1dhJ3Rm65L72g5LR8vNPrmURWrj4hLMyspTqCwrap/e8XX5KbVLVSzFQMyUhgM+T6Jfh6fET8BzEebGmeCbdlMrOZ3WeYW8P58YsODYNO2lS1Re6yE5/BBUjMvMIhTsSHyrWuVYbMoMTbKiWgJyTkphyCHHeALoZ+JxUoFnOdMwMbEfvZzwOJmZtQk396prnQ1nwRcYdR7XYLc2U3TVty6e31p8/9QH8FsxMS166eVS/IfIx2hTD9K/W8DUIUmhWxa0a3ULNrShig6dfkDtoK+TOFEZhaf6AOA2o+/cljoXehI=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1525988482

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

