22 Dec
2008
22 Dec
'08
12:49
On Mon, 22 Dec 2008, Michael Schroeder wrote:
Please change the debug level so that the output includes SAT_DEBUG_PROPAGATE. The solver code will then dump the rule before aborting.
The last entry before aborting is: ----- propagate end----- unfulfilled Rule #742: !pattern:base-11.1-71.1.i586 [41169] (w1) Install.level1 grub-gfxboot-0.97-0.pm.1.i586 [8015] Conflict.level1 grub-0.97-156.3.i586 [28910] (w2) next rules: 743 0 Thanks, Matt -- Matt Barringer, Software Engineer SUSE Linux Products GmbH, GF: Markus Rex, HRB 16746 (AG Nürnberg) http://susestudio.com http://www.novell.com/linux