Hm - in my case, it's not a segfault, but a SIGABRT due to a failed assertion: y2base: /usr/include/boost/smart_ptr/intrusive_ptr.hpp:174: T* boost::intrusive_ptr<T>::operator->() const [with T = zypp::ResolverProblem]: Zusicherung �px != 0� nicht erf�llt. YaST got signal 6 at file /usr/share/YaST2/modules/PackagesUI.rb:303 Anyway, we have some null pointers somewhere here. The question is why we get those null pointers. The libyui-qt-pkg code in that general area (conflict resolution) has not changed for a long time (eye candy changes in March 2014, last changes before that in June 2012), so it's more likely a problem inside libzypp.