From owner-dev-commits-ports-all@freebsd.org Sat Sep 18 17:49:40 2021 Return-Path: Delivered-To: dev-commits-ports-all@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id 3088667A936; Sat, 18 Sep 2021 17:49:40 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4HBdch0jxCz3Lx2; Sat, 18 Sep 2021 17:49:40 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id E718862D0; Sat, 18 Sep 2021 17:49:39 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.16.1/8.16.1) with ESMTP id 18IHnd97064606; Sat, 18 Sep 2021 17:49:39 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.16.1/8.16.1/Submit) id 18IHndIb064605; Sat, 18 Sep 2021 17:49:39 GMT (envelope-from git) Date: Sat, 18 Sep 2021 17:49:39 GMT Message-Id: <202109181749.18IHndIb064605@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Yuri Victorovich Subject: git: 172ac09c34d9 - main - math/lean: Update 3.32.1 -> 3.33.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: yuri X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: 172ac09c34d9ef66fb2804d768fca88d3d617a1a Auto-Submitted: auto-generated X-BeenThere: dev-commits-ports-all@freebsd.org X-Mailman-Version: 2.1.34 Precedence: list List-Id: Commit messages for all branches of the ports repository List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 18 Sep 2021 17:49:40 -0000 The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=172ac09c34d9ef66fb2804d768fca88d3d617a1a commit 172ac09c34d9ef66fb2804d768fca88d3d617a1a Author: Yuri Victorovich AuthorDate: 2021-09-18 17:24:31 +0000 Commit: Yuri Victorovich CommitDate: 2021-09-18 17:48:27 +0000 math/lean: Update 3.32.1 -> 3.33.0 Reported by: portscout --- math/lean/Makefile | 2 +- math/lean/distinfo | 6 +++--- math/lean/pkg-plist | 3 +++ 3 files changed, 7 insertions(+), 4 deletions(-) diff --git a/math/lean/Makefile b/math/lean/Makefile index 5274b623750f..53a97b8fd6e5 100644 --- a/math/lean/Makefile +++ b/math/lean/Makefile @@ -1,6 +1,6 @@ PORTNAME= lean DISTVERSIONPREFIX= v -DISTVERSION= 3.32.1 +DISTVERSION= 3.33.0 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org diff --git a/math/lean/distinfo b/math/lean/distinfo index 5f62f12163f8..a15f89a7fb6e 100644 --- a/math/lean/distinfo +++ b/math/lean/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1629058570 -SHA256 (leanprover-community-lean-v3.32.1_GH0.tar.gz) = 67acd4969baea6f4ed24dd7148ff10924c5de881fee133926414aeabf4cb53e2 -SIZE (leanprover-community-lean-v3.32.1_GH0.tar.gz) = 1873007 +TIMESTAMP = 1631983261 +SHA256 (leanprover-community-lean-v3.33.0_GH0.tar.gz) = bb9b4cc1a6516726433f51d181c5089ba1eb20c2e08dc7c48c9bd862008d4003 +SIZE (leanprover-community-lean-v3.33.0_GH0.tar.gz) = 1890511 diff --git a/math/lean/pkg-plist b/math/lean/pkg-plist index 8c49b095c0d4..e57ddc87fa83 100644 --- a/math/lean/pkg-plist +++ b/math/lean/pkg-plist @@ -82,6 +82,7 @@ include/lean_ext/library/ac_match.h include/lean_ext/library/aliases.h include/lean_ext/library/annotation.h include/lean_ext/library/app_builder.h +include/lean_ext/library/ast_exporter.h include/lean_ext/library/attribute_manager.h include/lean_ext/library/aux_definition.h include/lean_ext/library/aux_recursors.h @@ -255,6 +256,7 @@ include/lean_ext/library/tactic/smt/theory_ac.h include/lean_ext/library/tactic/smt/util.h include/lean_ext/library/tactic/subst_tactic.h include/lean_ext/library/tactic/tactic_evaluator.h +include/lean_ext/library/tactic/tactic_log.h include/lean_ext/library/tactic/tactic_state.h include/lean_ext/library/tactic/unfold_tactic.h include/lean_ext/library/tactic/user_attribute.h @@ -328,6 +330,7 @@ include/lean_ext/util/init_module.h include/lean_ext/util/int64.h include/lean_ext/util/interrupt.h include/lean_ext/util/lbool.h +include/lean_ext/util/lean_json.h include/lean_ext/util/lean_path.h include/lean_ext/util/line_endings.h include/lean_ext/util/list.h