Subject: Re: [bug#60075] [PATCH 43/58] gnu: Remove julia-infinity.

From: zimoun <[email-masked]>
Date: Mon, 19 Dec 2022 19:40:35 +0100

Hi,

On Wed, 14 Dec 2022 at 22:35, Efraim Flashner <[email-masked]> wrote:
> * gnu/packages/julia-xyz.scm (julia-infinity): Delete variable.

I think it costs nothing to keep it.  WDYT?

Cheers,
simon