%DEPENDS%
glibc
java-runtime
libgcc
libstdc++
z3

