Message ID | 0efee6182d48a0676e56a3b398b97a1c9c1d24ba.camel@courrier.dev |
---|---|
State | Accepted |
Headers | show |
Series | [bug#54185] gnu: lean: Update to 3.40.0. | expand |
Context | Check | Description |
---|---|---|
cbaines/applying patch | fail | View Laminar job |
cbaines/issue | success | View issue |
Hi Pradana, Pradana Adrinusa AUMARS <paumars@courrier.dev> skribis: >>From 2e62200fcfd6b0ad41b82efdeaba13acc3a3f14a Mon Sep 17 00:00:00 2001 > From: Pradana AUMARS <paumars@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’.
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@gnu.org> ;;; Copyright © 2020 Brett Gilio <brettg@gnu.org> ;;; Copyright © 2020 Tobias Geerinckx-Rice <me@tobias.gr> +;;; Copyright © 2022 Pradana Aumars <paumars@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)
From 2e62200fcfd6b0ad41b82efdeaba13acc3a3f14a Mon Sep 17 00:00:00 2001 From: Pradana AUMARS <paumars@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(-) (inputs (list gmp))