%DEPENDS%
gcc-libs
gmp

%PROVIDES%
libz3
libz3.so=4.8-32

