[opensuse-arm] RPi and OBS - 13.1 repos?