Re: [zypp-devel] sat-solver and static libraries