%DEPENDS%
glibc
gcc-libs

%PROVIDES%
libz3
libz3.so=4.12-32

