openSUSE:Leap:42.2:Update / sat4j हेतु कोई डेटा नहीं