GNU bug report logs - #60075
[PATCH 00/58] New julia patches

Previous Next

Package: guix-patches;

Reported by: Efraim Flashner <efraim <at> flashner.co.il>

Date: Wed, 14 Dec 2022 20:33:02 UTC

Severity: normal

Tags: patch

Done: Efraim Flashner <efraim <at> flashner.co.il>

Bug is archived. No further changes may be made.

Full log

Message #188 received at 60075 <at> debbugs.gnu.org (full text, mbox):

From: zimoun <zimon.toutoune <at> gmail.com>
To: Efraim Flashner <efraim <at> flashner.co.il>, 60075 <at> debbugs.gnu.org
Cc: Efraim Flashner <efraim <at> flashner.co.il>
Subject: Re: [bug#60075] [PATCH 08/58] gnu: Remove julia-identityranges.
Date: Mon, 19 Dec 2022 19:32:51 +0100

Hi,

On Wed, 14 Dec 2022 at 22:35, Efraim Flashner <efraim <at> flashner.co.il> wrote:
> * gnu/packages/julia-xyz.scm (julia-identityranges): Delete variable.

Is it an issue to keep it?


Cheers,
simon
This bug report was last modified 2 years and 244 days ago.

Previous Next

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