Subject: Re: bug#54468: [PATCH] gnu: isl: Update to 0.24
From: Ludovic Courtès <[email-masked]>
To: Maxime Devos <[email-masked]>
Cc: "Artyom V. Poptsov" <[email-masked]>, [email-masked]
Date: Sat, 19 Mar 2022 22:49:17 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi,

Maxime Devos <[email-masked]> 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’.