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

[Ludovic Courtès]

Hi,

Maxime Devos <maximedevos@telenet.be> skribis:

> 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)?

Yes.  We were discussing it on IRC and I just committed a switch to the
mirror://sourceforge URL.

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

Yes.

Note that it’s a tar.bz2 file, which Disarchive cannot handle yet, so at
this point we have nothing but the usual mirrors (including the
content-addressed mirror at ci.guix).

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

Yes, so I think we’ll do that in ‘core-updates’, if nothing breaks.

Thanks,
Ludo’.