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

View this message in rfc822 format

From: Suhail Singh <suhailsingh247 <at> gmail.com>
To: Morgan Smith <Morgan.J.Smith <at> outlook.com>
Cc: pukkamustard <pukkamustard <at> posteo.net>, 74931 <at> debbugs.gnu.org, Julien Lepiller <julien <at> lepiller.eu>
Subject: [bug#74931] [PATCH] gnu: proof-general: Update to 4.5-1.d668946.
Date: Tue, 17 Dec 2024 15:27:46 -0500

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

> * gnu/packages/coq.scm (proof-general): Update to 4.5-1.d668946.
> [phases] Remove unneeded phases and fix shebang fix.
>
> ...
>
> diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm
> index ea0868f226..e6df4bf98f 100644
> --- a/gnu/packages/coq.scm
> +++ b/gnu/packages/coq.scm
> @@ -135,7 +135,7 @@ (define-public proof-general
>    ;; The latest release is from 2022 and there has been more than 100 commits
>    ;; since then.
>    ;; Commit from 2024-04-29.
> -  (let ((commit "cb23709ad0c9a9ca0ee48b3ee73c29caea243b98")
> +  (let ((commit "d6689469298b4140dc1f0f8b0ff7e8f937041ffe")
>          (revision "1"))

Shouldn't the revision be incremented as well?

-- 
Suhail
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.