https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83216
Christophe Lyon <clyon at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |clyon at gcc dot gnu.org
--- Comment #7 from Christophe Lyon <clyon at gcc dot gnu.org> ---
https://gcc.gnu.org/install/prerequisites.html needs an update then: it still
refers to isl 0.15.
contrib/download_prerequisites fetches 0.18, and it is available on
ftp://gcc.gnu.org/pub/gcc/infrastructure/
