MarsSeed [1] filed a deletion request for arm-none-eabi-gcc60-linaro
[2]:
This legacy compiler from 2018 seems not needed anymore.
Also its name seems not right; gcc60 implies gcc 6.0 from
2016, but its current version is 6.5 from 2018.
Though as nothing depends on it on AUR, I recommend deletion, in order
to ease maintenance burden.
There are no user votes or comments that would indicate that
anyone would protest.
(Also, the main isl package has been adopted from AUR
to Arch [core] under the name 'libisl'. As AUR in principle
has to align with Arch repos, any isl* packages here should in
theory be renamed to libisl*, and their dependents would need to
change their depends arrays as well. But it is better to remove
the truly unused legacy packages instead of pushing for effecting
the former cross-maintainer changes for dozens of AUR packages.)
[1] https://aur.archlinux.org/account/MarsSeed/
[2] https://aur.archlinux.org/pkgbase/arm-none-eabi-gcc60-linaro/
MarsSeed [1] filed a deletion request for mingw-w64-isl [2]:
Orphaned cross-compile package for (lib)isl,
last updated in 2019.
I suggest to delete it, as it seems not needed.
Also, Arch [core] has adopted isl under the libisl name,
so the name of this package is not proper when it comes
to conformance to Arch standards.
Safe to delete as nothing depends on it.
[1] https://aur.archlinux.org/account/MarsSeed/
[2] https://aur.archlinux.org/pkgbase/mingw-w64-isl/