TheAirBlow [1] filed an orphan request for arm-linux-gnueabi-gcc [2]: Path to ISL is old and now located here: https://libisl.sourceforge.io/ [1] https://aur.archlinux.org/account/TheAirBlow/ [2] https://aur.archlinux.org/pkgbase/arm-linux-gnueabi-gcc/