diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2021-09-18 17:24:31 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2021-09-18 17:48:27 +0000 |
| commit | 172ac09c34d9ef66fb2804d768fca88d3d617a1a (patch) | |
| tree | 9df47c19064485bbbd63b4a5414d07a14096c348 | |
| parent | b9c63cc84002935145cb33b233fb16eda92401d2 (diff) | |
| download | ports-172ac09c34d9ef66fb2804d768fca88d3d617a1a.tar.gz ports-172ac09c34d9ef66fb2804d768fca88d3d617a1a.zip | |
math/lean: Update 3.32.1 -> 3.33.0
Reported by: portscout
| -rw-r--r-- | math/lean/Makefile | 2 | ||||
| -rw-r--r-- | math/lean/distinfo | 6 | ||||
| -rw-r--r-- | 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 |