MarsSeed  filed a deletion request for mingw-w64-isl :
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.
Request #35961 has been Accepted by muflone :
[Autogenerated] Accepted deletion for mingw-w64-isl.