From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id 8DYaACSbG2LjugAAgWs5BA (envelope-from ) for ; Sun, 27 Feb 2022 16:39:16 +0100 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id 2HwwOSObG2KDRwAA9RJhRA (envelope-from ) for ; Sun, 27 Feb 2022 16:39:15 +0100 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 71E60457E7 for ; Sun, 27 Feb 2022 16:39:15 +0100 (CET) Received: from localhost ([::1]:34924 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1nOLdi-0002uo-3k for larch@yhetil.org; Sun, 27 Feb 2022 10:39:14 -0500 Received: from eggs.gnu.org ([209.51.188.92]:41634) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nOLdX-0002ue-2d for guix-patches@gnu.org; Sun, 27 Feb 2022 10:39:03 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:36676) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1nOLdW-0007Pn-QA for guix-patches@gnu.org; Sun, 27 Feb 2022 10:39:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1nOLdW-0007nU-KS for guix-patches@gnu.org; Sun, 27 Feb 2022 10:39:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#54185] [PATCH] gnu: lean: Update to 3.40.0. Resent-From: Pradana Adrinusa AUMARS Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 27 Feb 2022 15:39:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 54185 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 54185@debbugs.gnu.org X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.164597631529935 (code B ref -1); Sun, 27 Feb 2022 15:39:02 +0000 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== 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-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" Reply-to: Pradana Adrinusa AUMARS X-ACL-Warn: , Pradana Adrinusa AUMARS via Guix-patches From: Pradana Adrinusa AUMARS via Guix-patches via X-Migadu-Flow: FLOW_IN X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1645976355; h=from:from:sender:sender:reply-to:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding:resent-cc: resent-from:resent-sender:resent-message-id:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=Una/TmHtQdUBbMeD3/LULX7IHlRPtAXeLb6cGkdsVLQ=; b=RQ55y98IAz0bj8+T4c27Yvd+dK7HOlvgmHdfQDafSa32qq2m/wFYW/LtqVC3Qs9/xmxdmY 2ps1rI1JlIW7JI2juntTqOrSEXnD781P/e693Aat9zjjIgY5VJWp/zm/QsMN4YH4zmRGQB qLVxhq/yIeWYfRpSKnZltoYYYnC/sqq9zMmlZy9KsB9YTbcxN2k0EFPjsg4Uz3s1PNHoSa hUyKXqRQAsRUN3g7NGXkQ7sm+ynJmaWQN2warM7n4xpuK1Gw/FZkFs/RaAg8e8tDCnojI0 mnNW/EjKfVJxitZqGGt9ahyS5vr7YSqNaW4AtSxKBTLCjqZbn/FkNU+iAEhlqg== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1645976355; a=rsa-sha256; cv=none; b=MOGihTtKCW/n/st6k0HKCBhM3E3ykk/RY7S4c2tP/v2pBS8K6vdxD1Avuwi8YzkP3TronB dE7CLTWgdpgP3p829EcvIEXDKFtFvBXVuEGI1MGyvrq0S1VHnpey77JPyh4ure9gLay1Oz vv3B5GFyW/hIwWD/tGFIJC6q2JYVk/zwKfXZMlx2z13sqkFTCe+yLexeypSuQ6WfdqoUJx +yVzEXNSR/VrbdZyC4bQ6hbsdMAbowU6jqvJozinFELOJ4XihkuAMu6lH+Zm7b8tg0yC4r AzMvrJdIEZNTo3neacFIBGMSuc1fUgHO14o5VROU0PAwCuy/vbpVlCcXQvuvng== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=courrier.dev header.s=mail header.b=cHTDdrUl; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: -4.91 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=courrier.dev header.s=mail header.b=cHTDdrUl; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: 71E60457E7 X-Spam-Score: -4.91 X-Migadu-Scanner: scn0.migadu.com X-TUID: hN7TLScP+Im4 >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