%DEPENDS%
libgcc
libstdc++
glibc

%PROVIDES%
libz3
libz3.so=4.16-64

