GNU bug report logs - #54468
[PATCH] gnu: isl: Update to 0.24

Previous Next

Full log

Message #13 received at 54468-done <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: Maxime Devos <maximedevos <at> telenet.be>
Cc: "Artyom V. Poptsov" <poptsov.artyom <at> gmail.com>, 54468-done <at> debbugs.gnu.org
Subject: Re: bug#54468: [PATCH] gnu: isl: Update to 0.24
Date: Sat, 19 Mar 2022 22:49:17 +0100

Hi,

Maxime Devos <maximedevos <at> 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’.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.