git: 172ac09c34d9 - main - math/lean: Update 3.32.1 -> 3.33.0

[Yuri Victorovich]

The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=172ac09c34d9ef66fb2804d768fca88d3d617a1a

commit 172ac09c34d9ef66fb2804d768fca88d3d617a1a
Author:     Yuri Victorovich <yuri at FreeBSD.org>
AuthorDate: 2021-09-18 17:24:31 +0000
Commit:     Yuri Victorovich <yuri at 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 at 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