%DEPENDS%
gcc-libs
gmp

%PROVIDES%
libz3
libz3.so=4.7-32

%OPTDEPENDS%
python2-setuptools: bindings for python2

