Date: Sat, 18 Sep 2021 17:49:39 GMT From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: 172ac09c34d9 - main - math/lean: Update 3.32.1 -> 3.33.0 Message-ID: <202109181749.18IHndIb064605@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=172ac09c34d9ef66fb2804d768fca88d3d617a1a commit 172ac09c34d9ef66fb2804d768fca88d3d617a1a Author: Yuri Victorovich <yuri@FreeBSD.org> AuthorDate: 2021-09-18 17:24:31 +0000 Commit: Yuri Victorovich <yuri@FreeBSD.org> 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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202109181749.18IHndIb064605>