https://bugzilla.novell.com/show_bug.cgi?id=351941 User jkupec@novell.com added comment https://bugzilla.novell.com/show_bug.cgi?id=351941#c1 Ján Kupec changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |mls@novell.com, jkupec@novell.com, | |matz@novell.com AssignedTo|jkupec@novell.com |schubi@novell.com --- Comment #1 from Ján Kupec 2008-02-01 08:06:16 MST --- Hm. I cannot reproduce the exact behavior but i see it with other resolvables. It is produced by this code in zypper-misc.cc, show_summary(): if (res->name() == (*rmit)->name()) // res = to-be-installed rmit = to-be-removed { if (res->edition() > (*rmit)->edition()) toupgrade[res->kind()].insert(res); else todowngrade[res->kind()].insert(res); .. } So zypper reports the package to be downgraded also if the to-be-installed and to-be-removed versions are the same (which was not expected). It looks like the SAT solver sometimes schedules resolvables for reinstallation (remove and install the same version of the resolvable). I guess this isn't desirable, is it? -- Configure bugmail: https://bugzilla.novell.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug.

https://bugzilla.novell.com/show_bug.cgi?id=351941 User jkupec@novell.com added comment https://bugzilla.novell.com/show_bug.cgi?id=351941#c3 --- Comment #3 from Ján Kupec 2008-02-05 07:23:28 MST --- Not right now, i can try to get one, if you don't reproduce it by then. -- Configure bugmail: https://bugzilla.novell.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug.

https://bugzilla.novell.com/show_bug.cgi?id=351941 User schubi@novell.com added comment https://bugzilla.novell.com/show_bug.cgi?id=351941#c5 Stefan Schubert changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |NEEDINFO Info Provider| |jkupec@novell.com --- Comment #5 from Stefan Schubert 2008-02-05 10:08:16 MST --- Jano, there is a bug in generating the testcases automatically. (The command file will not be generated). Could you generate the testcase by the old way (parameter in zypper), or can you tell me the zypper call at least ? Thanks ! -- Configure bugmail: https://bugzilla.novell.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug.

https://bugzilla.novell.com/show_bug.cgi?id=351941 User schubi@novell.com added comment https://bugzilla.novell.com/show_bug.cgi?id=351941#c7 --- Comment #7 from Stefan Schubert 2008-02-06 01:48:39 MST --- Yes I can reproduce it. The error is in prune_to_best_version(Pool *pool, Queue *plist) and there is already a comment: /* FIXME: should prefer installed if identical version */ So the installed package should be take at first if there are more available which supports that dependency. [satsolver] PoolImpl.cc(logSat):46 prune_to_best_version 2 [satsolver] PoolImpl.cc(logSat):46 - AdobeICCProfiles-2.0-93.noarch [satsolver] PoolImpl.cc(logSat):46 - AdobeICCProfiles-2.0-93.noarch [satsolver] PoolImpl.cc(logSat):46 installing AdobeICCProfiles-2.0-93.noarch -- Configure bugmail: https://bugzilla.novell.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug.

https://bugzilla.novell.com/show_bug.cgi?id=351941 User schubi@novell.com added comment https://bugzilla.novell.com/show_bug.cgi?id=351941#c9 Stefan Schubert changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution| |FIXED --- Comment #9 from Stefan Schubert 2008-02-06 03:06:55 MST --- Fixed. I think "force" will select a solvable explizit and do not select one of the available solvables. -- Configure bugmail: https://bugzilla.novell.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug.