Comment # 20 on bug 916171 from Per Jessen

(In reply to Michael Andres from comment #19)
> 
> (In reply to Per Jessen from comment #18)
> > Unfortunately I have no idea how to interpret log output, who can help me understand it?
> 
> That's not easy to explain (usually the reporter is asked to provide a
> solver testcase, and we do the debugging... ;)

Okay :-)

> >    # zypper dup --debug-solver
> >    ...
> >    Generating solver test case...
> >    Solver test case generated successfully at /var/log/zypper.solverTestCase.  
> 
> Then pack the output directory and attach it to the bugreport.
> In case the testcase exceeds the 10MB limit for bugzilla uploads, 
> you can use 'split' to divide the file into smaller pieces:

I'll have a go at this over the weekend, thanks for explaining it.

> Anyhow. To me it looks like systemd-mini/udev-mini/libudev-mini1 were
> provided and installable on 13.1.

Yes they are. 

> On 13.2 however they are provided (by the update repo), but no longer
> installable (due to the missing this-is-only-for-build-envs requirement). 
> 
> The fact that those packages are installed on your 13.1 prevents you from
> upgrading to 13.2.

I have worked around that, the problem is more that those -mini packages are
automatically selected when I install 13.1 (32bit) in a xen guest. (installing
13.1 and upgrading to 13.2 seems to be the only way for 32bit guests in 13.2).