[opensuse-arm] libisl missing

HI! It seems something broke in openSUSE_Factory_ARM during the last hour. My builds are marked unresolvable with this message: nothing provides libisl.so.10 needed by gcc48, nothing provides libisl.so.10 needed by libcloog-isl4, nothing provides libisl.so.10 needed by cpp48 Ciao, Michael.