(In reply to Ludwig Nussel from comment #7) > At least it would make sense if yast and zypper did the same. YOU can do the same as YAST once we open `dup` to allow additional inst/del arguments (there's AFAIK some FATE for it). Then you can say `zypper dup product:Leap-15.2` > Couldn't libsolv handle that itself? This weakremover stuff is a hack and it is configurable whether to be evaluated or not. Not sure id mls would put this into libsolv.