Hi, zypp hackers, while working on ncurses package selector redesign I have found out that yet another thing has been dropped (deprecated/obsoleted/temporarily unavailable) from zypp silently, without communicating this fact to those who are using the feature. In this case, maintainers of package selectors. Facts: FaTE #301178 "Offer 'verify installed package dependencies' functionality in YaST" mandatory/important for SLE10 SP1 important for openSUSE 10.3 Requested by: kkaempf@novell.com Project Manager: visnov@novell.com (adding those to Cc:) After selecting 'Verify system' entry from package selector menu, solver run should check package dependencies and take appropriate action to restore the consistency of the system (e.g. mark missing packages for installation) However, this never happens, I'm getting false-positive result that all dependencies are correct (which is obviously not true) and this message in the log: Resolver.cc (verifySystem): Will currently not be supported by the SAT-solver Maybe I'm not having the most recent version of SAT-solver and this issue would be already settled if I made fresh svn checkout. In that case you may disregard this e-mail. Anyway, as this feature was mandatory, I believe it should not be dropped without adequate substitute. Moreover, it has been requested for zypper, too (FaTE #301918 - adding jkupec to Cc:). As this is not the first thing dropped/made obsolete from zypp more or less silently, I'd really appreciate if (in the future) we would be informed about such changes and about adequate replacement functionality (if any). Better late, than never at all (finding this out sheerly by accident). Zypp is a library that is used by other applications (package selectors, zypper,...) and without them, it's just dead kilo-lines of code in subversion. frozenB. -- \\\\\ Katarina Machalkova \\\\\\\__o YaST developer __\\\\\\\'/_ & hedgehog painter