Re: [opensuse-factory] satsolver-tools out of sync