%FILENAME%
z3-4.5.0-4-armv7h.pkg.tar.xz

%NAME%
z3

%VERSION%
4.5.0-4

%DESC%
A high-performance theorem prover

%CSIZE%
9062368

%ISIZE%
33080320

%MD5SUM%
70b807a516506e846f50fd50b96869bb

%SHA256SUM%
c5201460c93d3136740e589fbdf2a3d10e9b4f39ac21b254bf3c6144f3bf7957

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlmgSWQACgkQdxk/FSvb5qbGww//QcEJDelqxfVVfoyRrczj0toJYTD3EF/750WfRd2G1NRNDhx6tATbaNaVtWZ8iyYFQYXtjoEl/bTJ14ZemYy65YE8JM21QGBuiYhZyOV/33QV5U7aAngXqpgvCws4hnCi9E74Taw56RfLSKFFvcJr3DJWyCZWgHdQh4o61GHv69hVYogQu5PC+ay35tKeumlmBdNgjS00iwM7Y/35HP5m89+PjRKa8lmT3vvihz6TXynVn7YpCQp/6DcOPHIb1+nePIPR5UCDE+Db8e1j0YDzo9W8nBZi95wHKBA6i0yaAfzYOCW1fTSQf/e13YeLkPdWtkaxfkLRPLWhOeBNCGuoRC4nhbh1SUak2JPi0oHO1XBFL+uJNjqNwdpwbB41bfZcjATVXs3EzmucQq3vkuAATiXvgi0Lm2xFetaXlpQ0JaSN3JITwjpbfdKR68zXhcGN+/7ovwpOS1ROIjj7iefWWn7EJAOlPxgTqMkslEP1lvTevkhTxSRJtRhi6GjTdDKZ4/lZ24qwSuBmO9LbxTHVYSs4iqyUp5+vO+pRlk2HCe3xdjIyRzM6iZ2IY66ytmjIQK7aQNVb9ukxSvOJM9q78m5McZ0RbWPfDeUT/TU6Ck0fNWKgNFAMc8mP8gKt7uF2FayhC6xmSvNrz1ubWHpMGZAFE45oPZFbxTfjkSKZf3c=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1503676713

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

