GNU bug report logs - #67315
[PATCH 1/2] gnu: lean: Use G-expressions.

Previous Next

Package: guix-patches;

Reported by: Zhu Zihao <all_but_last <at> 163.com>

Date: Tue, 21 Nov 2023 03:56:01 UTC

Severity: normal

Tags: patch

Done: Ludovic Courtès <ludo <at> gnu.org>

Bug is archived. No further changes may be made.

Full log

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

From: Ludovic Courtès <ludo <at> gnu.org>
To: Zhu Zihao <all_but_last <at> 163.com>
Cc: 67315-done <at> debbugs.gnu.org
Subject: Re: [bug#67315] [PATCH 1/2] gnu: lean: Use G-expressions.
Date: Mon, 11 Dec 2023 23:49:59 +0100

Hi,

Zhu Zihao <all_but_last <at> 163.com> skribis:

> * gnu/packages/lean.scm (lean)[arguments]: Use G-expressions.

[...]

> * gnu/packages/lean.scm (lean): Update to 3.51.1.
> [home-page]: Use new home page.
> [arguments]<#:phases>: Remove stale phase 'patch-tests-shebangs'.
> [inputs]: Remove bash-minimal.
>
> Change-Id: Ib90a124b4a6b06fb30223ad4b9254249e56dd086

Applied, thanks!

Ludo’.
This bug report was last modified 1 year and 221 days ago.

Previous Next

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