%DEPENDS%
gcc-libs

%PROVIDES%
libz3
libz3.so=4.8-32

