%DEPENDS%
gcc-libs
glibc

%PROVIDES%
libz3
libz3.so=4.15-32

