15.5, libzypp update, but nothing provides libsolv-tools