zypp:SLE-15-SP1-Branch SLE-15-SP1 / Code15.1 maintenance https://download.opensuse.org/repositories/zypp:/SLE-15-SP1-Branch/openSUSE_Leap_15.1_Update/ openSUSE:Leap:15.1:Update Online updates for openSUSE Leap:15.1 This project is releasing the official updates for openSUSE Leap:15.1. https://download.opensuse.org/update/leap/15.1/oss/ openSUSE:Leap:15.1 openSUSE Leap 15.1 https://download.opensuse.org/distribution/leap/15.1/repo/oss/ libsolv Package dependency solver using a satisfiability algorithm libsolv is a library for solving packages and reading repositories. The solver uses a satisfiability algorithm.