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

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.10-1

%DESC%
High-performance theorem prover

%CSIZE%
12918500

%ISIZE%
46864341

%MD5SUM%
c0f5b4b67df4c51f7fea427935dc981e

%SHA256SUM%
f6c299664cf558070c8ef7f8306ec7d78f725741a56009b81d68fcf1cecf9228

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmALVzYACgkQdxk/FSvb5qbyjw//QuiYT3oeqFEqSI/0gAVs4mD/IGryLd76cJhD1xwOwhc5bofiCkk81Jq4/kfayfe7SggR1JC/jrt8SPCQa+m/0lZ46YuMW4cLhMBFIga6yRFgZiL9IAQrsjLobcY+nqPv1rHHFX1wes6dfp1W2EDncrd9jaKThruj1NjP9v1A5bBPlx9CRPHo248ut98dPNr3pHWjR3i+NPA9aVVLtHxmrH/ydqA/NTC10Jnm7ZWALXND+vzbhUhMb5yy57ATjuvXQu7S4KpmtjO+t17zw7vn4171/HQtyiXcQ667nkwwwGuxJmL14XQPJ2An1r9HZbxfe/EkWZWiDA6GKrUp/tr512RvxW2LIgW/Yw7Jv6DIbjr7Jy/rs53pmpceq+xdijM4NPW3KKApWkavuf48jps6GXQ6p9eJDQbLrZrSGu1Z77b+ovyz06AukpfdZD95VVyi7eR9r2DMrs3qYce15HyLH6shOQb1ooWEQSjAtAsAiJxKis9cjWZycXmazhw1efFBliNk6N4fYDRbhPMsCuUqC3vOdfsE5xvJhwzKatrp4xXgUq/iB47t8xgaeC//vu09+1m07NH0QKt9rxPiHQQtkkRiDKrpHYeAwQtTiuymeF/5csenl3w77oQ81R3OJihDdq3GvqS/Elh9vG7/TRYekx6e1twRcxZr/aDLQXfPQKA=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1611355486

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

