[opensuse-factory] satsolver-tools out of sync