Subject: [bug#54468] [PATCH] gnu: isl: Update to 0.24

From: Maxime Devos <[email-masked]>
Date: Sat, 19 Mar 2022 22:10:10 +0100

Artyom V. Poptsov schreef op za 19-03-2022 om 23:50 [+0300]:
The previous version (0.23) seems to be not present in the
repositories anymore:

For the future, perhaps we could look into saving a copy of it
somewhere, and perhaps request GCC folks to not delete old versions?

Additionally, the isl.gforge.infria.fr is offline, so it could be
removed.  Nix has found some alternative URLs:
<https://github.com/NixOS/nixpkgs/commit/53a60ad361e020275b3f50c68a7f17411e5f8fd2>,
perhaps they could be added (if they still work)?

Is the source code of the other versions of isl in Guix still
available?

Given that isl is a dependency of GCC, does this cause a world-rebuild?

Greetings,
Maxime.