GNU bug report logs - #74931
[PATCH] gnu: proof-general: Update to 4.5-1.d668946.

Previous Next

Package: guix-patches;

Reported by: Morgan Smith <Morgan.J.Smith <at> outlook.com>

Date: Tue, 17 Dec 2024 19:40: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 #16 received at 74931-done <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: Morgan Smith <Morgan.J.Smith <at> outlook.com>
Cc: pukkamustard <at> posteo.net, julien <at> lepiller.eu, 74931-done <at> debbugs.gnu.org,
 suhailsingh247 <at> gmail.com
Subject: Re: [bug#74931] [PATCH v2] gnu: proof-general: Update to
 4.5-2.d668946.
Date: Mon, 23 Dec 2024 19:11:10 +0100

Morgan Smith <Morgan.J.Smith <at> outlook.com> skribis:

> * gnu/packages/coq.scm (proof-general): Update to 4.5-2.d668946.
> [phases] Remove unneeded phases and fix shebang fix.
>
> Change-Id: I5ce2775cf18775737853d76b5a50d461aa9d14e6

Applied, thanks!
This bug report was last modified 228 days ago.

Previous Next

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