%FILENAME%
z3-4.8.5-1-armv6h.pkg.tar.xz

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.5-1

%DESC%
High-performance theorem prover

%CSIZE%
10671188

%ISIZE%
37737472

%MD5SUM%
4f56a20dd8052dca238b357ae0f0c76e

%SHA256SUM%
9f7f4587c06f928b78002cd89e01e049e33d4567051ac31b0db3718aeb79d63c

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlz4W6IACgkQdxk/FSvb5qa5Ig//QpnKZqRn4faA4sY4XrOlM0NKo+OJhiyWQYb9VkkjBzv0pKQ4KxBHscuPUxn0P9ZRh3LbxsJo64HlH4YSVlH1XYURbzgGkYlCEuYpxsCmD6lVbXfze66/CyaLEI81+4juXnYEDP2sfCBPNwxbY+rUkBAmch7F2N4HhZwnyLKVdZ411GFwcbdDfpalG6G6xIJEN1Uv4jTbiLeTsD6h+zMUvj6vtbzRwVWeND8UJUqaJMuNUdzavvePN0e/b4GNFlEKrmnNXFPh0n7eba7XBeMPGds/2TRTzDweTBVoMOP9Ts991mmv3ICyBjhqHvBrJfNbfib0ohYuuuxsY3vDI5qBxhWwh40ipSumeQFRY3u74+1eRPT/ysFxYidJ4OrOIBuscaORx5WxMU5eyOybCN6LO354G7+wHF3H09KQVg4IF1ie1z6f7DSPk5R1gkn4iJsr6pjgNdHTulPEWapJF21Ej2Uy95ctRWNweh9K8fgPY9qkzZa0grOFeB8saNWASOXegoLcSZAiAwT2j0S/DwZteuxo2dMOERO70SYp2aB0x95Q/CiWzh21BVcexDkBqa9mPoz1Ud28Eyq6x8beEo7G1m284XdIQQQrowacCrI9BObFaudM+Pt/4x8ZUqO/B8yyf4bFmo9VH/T4aAoIevae1i9+2FW9Fn4RmLsKD53hc6I=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1559779743

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

