[yast-devel] JFYI: 'the big solv data change' - satsolver and zypp are currently broken