[aur-requests] [PRQ#35961] Deletion Request for mingw-w64-isl

[notify at aur.archlinux.org]

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/