From debbugs-submit-bounces@debbugs.gnu.org Sun Feb 27 10:38:35 2022 Received: (at submit) by debbugs.gnu.org; 27 Feb 2022 15:38:35 +0000 Received: from localhost ([127.0.0.1]:58806 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nOLd4-0007mk-TH for submit@debbugs.gnu.org; Sun, 27 Feb 2022 10:38:35 -0500 Received: from lists.gnu.org ([209.51.188.17]:53622) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nOLd0-0007ma-3u for submit@debbugs.gnu.org; Sun, 27 Feb 2022 10:38:33 -0500 Received: from eggs.gnu.org ([209.51.188.92]:41586) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nOLcz-0002sy-PK for guix-patches@gnu.org; Sun, 27 Feb 2022 10:38:29 -0500 Received: from mail.42l.fr ([45.155.171.163]:44794) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nOLcw-0007O1-HE for guix-patches@gnu.org; Sun, 27 Feb 2022 10:38:29 -0500 Message-ID: <0efee6182d48a0676e56a3b398b97a1c9c1d24ba.camel@courrier.dev> DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=courrier.dev; s=mail; t=1645976300; bh=ojyMX5tP2ZcJHQwC0tpUTCXK6C/UdmWJkxJzG1AVf7M=; h=Subject:From:To; b=cHTDdrUlFbhb3oCN8WqAFh/IgXdquJz3cMtUFB7K1smGgsmgb3T4szblQyfF8i4Ml bkKl6U0Z8rvs6wpXjdJ8FCCZlxPlU4VxmJM4PJksEWSBUFOUdHWrQ7cDpP7fvYYA/D fq1wxbY2zXLh5ky5DbxtmurWKPKAneEQJ77IdXc4s63NY9pS9Bqett3LaM9t0YDnif gcn0jXWQi4L5ygovb0GDb15B6SZ3/+QWijWnlMENyjp6Jwbrqi7h9AcQDFeLq06YH9 /agAjwGscjpfAgoyk/5D26Wez7JJmXXcoIVVWDP4p7e5Qp/rxhnBl3sFhoN1g1/l6T TDpryoZ+XUKiQ== Subject: [PATCH] gnu: lean: Update to 3.40.0. From: Pradana Adrinusa AUMARS To: guix-patches@gnu.org Date: Sun, 27 Feb 2022 16:38:19 +0100 Content-Type: text/plain; charset="UTF-8" Mime-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=45.155.171.163; envelope-from=SRS0=SJcI=TK=courrier.dev=paumars@42l.fr; helo=mail.42l.fr X-Spam_score_int: -17 X-Spam_score: -1.8 X-Spam_bar: - X-Spam_report: (-1.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, HEADER_FROM_DIFFERENT_DOMAINS=0.249, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=no autolearn_force=no X-Spam_action: no action X-Spam-Score: -2.1 (--) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.1 (--) >From 2e62200fcfd6b0ad41b82efdeaba13acc3a3f14a Mon Sep 17 00:00:00 2001 From: Pradana AUMARS 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 ;;; Copyright © 2020 Brett Gilio ;;; Copyright © 2020 Tobias Geerinckx-Rice +;;; Copyright © 2022 Pradana Aumars ;;; ;;; 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 From debbugs-submit-bounces@debbugs.gnu.org Sun Mar 13 18:23:30 2022 Received: (at 54185-done) by debbugs.gnu.org; 13 Mar 2022 22:23:30 +0000 Received: from localhost ([127.0.0.1]:43526 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nTWcb-00008X-TJ for submit@debbugs.gnu.org; Sun, 13 Mar 2022 18:23:30 -0400 Received: from eggs.gnu.org ([209.51.188.92]:34736) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nTWca-00008I-2Z for 54185-done@debbugs.gnu.org; Sun, 13 Mar 2022 18:23:28 -0400 Received: from [2001:470:142:3::e] (port=35168 helo=fencepost.gnu.org) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nTWcS-00039m-VJ; Sun, 13 Mar 2022 18:23:22 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:In-Reply-To:Date:References:Subject:To: From; bh=xj49FXNbAnMe+0XoTL4St9I1fGLM10oLZ06bhLVmjmo=; b=jV0dMM6GtbJjnwrbe0zr JVwZ4IHpEXpCFbWTd/VPnl+pWaDJFxPNFrq+lrL/J5SU89iWQDwuhIhzMifsHt8v67P7A6lKYXHjz 4lsCs5Ql5uu+Jo7o4st0Cqbk2Q10POZxZ8L+AzHgSTfc+vFfCJOS+KMTa335KBNSzVkgDzoxna2By LvSdV+Ln32w6Mf6+PyHfjLLmx5+O3L4B+Bz5uP3TBsJ3mrhuDvr8Cvn65E7lmZTqAEXwbQU+Nc8UJ S3ITdxO/b3cZDJ2odvH2w/eA0jXNbIFJAdq6yGmevzpMFdiRbZci6kma/fFVqY04wLK0iHz6L0p7W UIcYHtW1lXwG7Q==; Received: from 91-160-117-201.subs.proxad.net ([91.160.117.201]:59147 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nTWcR-0002Zz-L3; Sun, 13 Mar 2022 18:23:20 -0400 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: Pradana Adrinusa AUMARS Subject: Re: bug#54185: [PATCH] gnu: lean: Update to 3.40.0. References: <0efee6182d48a0676e56a3b398b97a1c9c1d24ba.camel@courrier.dev> Date: Sun, 13 Mar 2022 23:23:17 +0100 In-Reply-To: <0efee6182d48a0676e56a3b398b97a1c9c1d24ba.camel@courrier.dev> (Pradana Adrinusa AUMARS's message of "Sun, 27 Feb 2022 16:38:19 +0100") Message-ID: <87tuc1sd9m.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 54185-done Cc: 54185-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) Hi Pradana, Pradana Adrinusa AUMARS skribis: >>>From 2e62200fcfd6b0ad41b82efdeaba13acc3a3f14a Mon Sep 17 00:00:00 2001 > From: Pradana AUMARS > 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=E2=80=99. From unknown Wed Sep 10 10:35:52 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Mon, 11 Apr 2022 11:24:09 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator