Comment # 2 on bug 1139900 from Sven Seeberg

(In reply to Michael Andres from comment #1)
> It almost looks like you've got an old zypper together with a new libzypp.
> may it be you performed the 'zypper dup' with the old 15.0 repos still
> enabled?

It seems that there were only 15.1 repos active. I'll add a list (with inactive
repos removed).

> Anyway: The 'zypper dup' command creates a resolver testcase at
> /var/log/updateTestcase-YYYY-MM-DD-hh_mm_ss (date the dup command was
> executed). Please pack the output directory together with
> /var/log/zypper.log and attach it to the bugreport:
> 
> > $ cd /tmp
> > $ tar cvjf zypper.updateTestCase.tar.bz2 /var/log/updateTestcase-'YYYY-YOUR_DATE...'

The file has 9.5M. I'll attach it.