GNU bug report logs - #54185
[PATCH] gnu: lean: Update to 3.40.0.

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 54185 in the body.
You can then email your comments to 54185 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

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

From: Pradana Adrinusa AUMARS <paumars <at> courrier.dev>
To: guix-patches <at> gnu.org
Subject: [PATCH] gnu: lean: Update to 3.40.0.
Date: Sun, 27 Feb 2022 16:38:19 +0100

From 2e62200fcfd6b0ad41b82efdeaba13acc3a3f14a Mon Sep 17 00:00:00 2001
From: Pradana AUMARS <paumars <at> courrier.dev>
Date: Sun, 27 Feb 2022 16:27:51 +0100
Subject: [PATCH] gnu: lean: Update to 3.40.0.

* gnu/packages/lean.scm (lean): Update to 3.40.0.
---
 gnu/packages/lean.scm | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/lean.scm b/gnu/packages/lean.scm
index 6ac7f1668a..b7bcc53197 100644
--- a/gnu/packages/lean.scm
+++ b/gnu/packages/lean.scm
@@ -2,6 +2,7 @@
 ;;; Copyright © 2019 Amin Bandali <bandali <at> gnu.org>
 ;;; Copyright © 2020 Brett Gilio <brettg <at> gnu.org>
 ;;; Copyright © 2020 Tobias Geerinckx-Rice <me <at> tobias.gr>
+;;; Copyright © 2022 Pradana Aumars <paumars <at> courrier.dev>
 ;;;
 ;;; This file is part of GNU Guix.
 ;;;
@@ -28,7 +29,7 @@ (define-module (gnu packages lean)
 (define-public lean
   (package
     (name "lean")
-    (version "3.23.0")
+    (version "3.40.0")
     (home-page "https://github.com/leanprover-community/lean")
     (source (origin
               (method git-fetch)
@@ -37,7 +38,7 @@ (define-public lean
               (file-name (git-file-name name version))
               (sha256
                (base32
-               
"09mklc1p6ms1jayg2f89hqfmhca3h5744lli936l38ypn1d00sxx"))))
+               
"0cdk124riz8g43n54yx4qyjn7n6qxj5zgn9r4znqs7iyb3djs286"))))
     (build-system cmake-build-system)
     (inputs
      (list gmp))
-- 
2.34.0

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

From: Ludovic Courtès <ludo <at> gnu.org>
To: Pradana Adrinusa AUMARS <paumars <at> courrier.dev>
Cc: 54185-done <at> debbugs.gnu.org
Subject: Re: bug#54185: [PATCH] gnu: lean: Update to 3.40.0.
Date: Sun, 13 Mar 2022 23:23:17 +0100

Hi Pradana,

Pradana Adrinusa AUMARS <paumars <at> courrier.dev> skribis:

>>From 2e62200fcfd6b0ad41b82efdeaba13acc3a3f14a Mon Sep 17 00:00:00 2001
> From: Pradana AUMARS <paumars <at> courrier.dev>
> Date: Sun, 27 Feb 2022 16:27:51 +0100
> Subject: [PATCH] gnu: lean: Update to 3.40.0.
>
> * gnu/packages/lean.scm (lean): Update to 3.40.0.

This was updated to 3.41 in the meantime, in commit
46ae78ba45711b43ca5948c9adbd23cc9e773bff.

Thanks anyway!

Ludo’.

Previous Next

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