没有 openSUSE:Backports:SLE-15-SP1:Update / minisat 的数据