From d3029e4e321b891b3c1646c0c5ca826c24f32b50 Mon Sep 17 00:00:00 2001 From: Yuri Victorovich Date: Thu, 29 Feb 2024 00:54:09 -0800 Subject: [PATCH] =?UTF-8?q?math/lean4:=20update=204.5.0=20=E2=86=92=204.6.?= =?UTF-8?q?0?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Reported by: portscout --- math/lean4/Makefile | 2 +- math/lean4/distinfo | 6 +++--- math/lean4/pkg-plist | 33 ++++++++++++++++++++++++++++++--- 3 files changed, 34 insertions(+), 7 deletions(-) diff --git a/math/lean4/Makefile b/math/lean4/Makefile index 64de7b7817db..cfb76980d3a5 100644 --- a/math/lean4/Makefile +++ b/math/lean4/Makefile @@ -1,6 +1,6 @@ PORTNAME= lean4 DISTVERSIONPREFIX= v -DISTVERSION= 4.5.0 +DISTVERSION= 4.6.0 CATEGORIES= math lang devel # lean4 is primarily a math theorem prover, but it is also a language and a development environment MAINTAINER= yuri@FreeBSD.org diff --git a/math/lean4/distinfo b/math/lean4/distinfo index 212153a2baf9..d6ff8ff5f2c9 100644 --- a/math/lean4/distinfo +++ b/math/lean4/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1706759565 -SHA256 (leanprover-lean4-v4.5.0_GH0.tar.gz) = 9a7e3661245cd6f115919695d7041396cf44b081b03421cac9bda6bf8353df0f -SIZE (leanprover-lean4-v4.5.0_GH0.tar.gz) = 17060034 +TIMESTAMP = 1709183089 +SHA256 (leanprover-lean4-v4.6.0_GH0.tar.gz) = 9e90f38c9b55e8accc27f75394db1fcdb58bc4dc22ba99d1232e4921c66ff2af +SIZE (leanprover-lean4-v4.6.0_GH0.tar.gz) = 17532157 diff --git a/math/lean4/pkg-plist b/math/lean4/pkg-plist index 516a35d47fdb..3d78573ad15e 100644 --- a/math/lean4/pkg-plist +++ b/math/lean4/pkg-plist @@ -190,6 +190,8 @@ lib/lean/Init/ShareCommon.ilean lib/lean/Init/ShareCommon.olean lib/lean/Init/SimpLemmas.ilean lib/lean/Init/SimpLemmas.olean +lib/lean/Init/Simproc.ilean +lib/lean/Init/Simproc.olean lib/lean/Init/SizeOf.ilean lib/lean/Init/SizeOf.olean lib/lean/Init/SizeOfLemmas.ilean @@ -404,8 +406,6 @@ lib/lean/Lake/Util/OrdHashSet.ilean lib/lean/Lake/Util/OrdHashSet.olean lib/lean/Lake/Util/OrderedTagAttribute.ilean lib/lean/Lake/Util/OrderedTagAttribute.olean -lib/lean/Lake/Util/Platform.ilean -lib/lean/Lake/Util/Platform.olean lib/lean/Lake/Util/Proc.ilean lib/lean/Lake/Util/Proc.olean lib/lean/Lake/Util/RBArray.ilean @@ -994,6 +994,8 @@ lib/lean/Lean/Elab/Tactic/Rewrite.ilean lib/lean/Lean/Elab/Tactic/Rewrite.olean lib/lean/Lean/Elab/Tactic/Simp.ilean lib/lean/Lean/Elab/Tactic/Simp.olean +lib/lean/Lean/Elab/Tactic/Simproc.ilean +lib/lean/Lean/Elab/Tactic/Simproc.olean lib/lean/Lean/Elab/Tactic/Split.ilean lib/lean/Lean/Elab/Tactic/Split.olean lib/lean/Lean/Elab/Tactic/Unfold.ilean @@ -1230,8 +1232,22 @@ lib/lean/Lean/Meta/Tactic/Rewrite.ilean lib/lean/Lean/Meta/Tactic/Rewrite.olean lib/lean/Lean/Meta/Tactic/Simp.ilean lib/lean/Lean/Meta/Tactic/Simp.olean +lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs.ilean +lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs.olean +lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Core.ilean +lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Core.olean +lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Fin.ilean +lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Fin.olean +lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Int.ilean +lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Int.olean +lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Nat.ilean +lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Nat.olean +lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/UInt.ilean +lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/UInt.olean lib/lean/Lean/Meta/Tactic/Simp/Main.ilean lib/lean/Lean/Meta/Tactic/Simp/Main.olean +lib/lean/Lean/Meta/Tactic/Simp/RegisterCommand.ilean +lib/lean/Lean/Meta/Tactic/Simp/RegisterCommand.olean lib/lean/Lean/Meta/Tactic/Simp/Rewrite.ilean lib/lean/Lean/Meta/Tactic/Simp/Rewrite.olean lib/lean/Lean/Meta/Tactic/Simp/SimpAll.ilean @@ -1240,6 +1256,8 @@ lib/lean/Lean/Meta/Tactic/Simp/SimpCongrTheorems.ilean lib/lean/Lean/Meta/Tactic/Simp/SimpCongrTheorems.olean lib/lean/Lean/Meta/Tactic/Simp/SimpTheorems.ilean lib/lean/Lean/Meta/Tactic/Simp/SimpTheorems.olean +lib/lean/Lean/Meta/Tactic/Simp/Simproc.ilean +lib/lean/Lean/Meta/Tactic/Simp/Simproc.olean lib/lean/Lean/Meta/Tactic/Simp/Types.ilean lib/lean/Lean/Meta/Tactic/Simp/Types.olean lib/lean/Lean/Meta/Tactic/Split.ilean @@ -1565,6 +1583,7 @@ share/lean/lean.mk %%DATADIR%%/src/lean/Init/Prelude.lean %%DATADIR%%/src/lean/Init/ShareCommon.lean %%DATADIR%%/src/lean/Init/SimpLemmas.lean +%%DATADIR%%/src/lean/Init/Simproc.lean %%DATADIR%%/src/lean/Init/SizeOf.lean %%DATADIR%%/src/lean/Init/SizeOfLemmas.lean %%DATADIR%%/src/lean/Init/System.lean @@ -1867,6 +1886,7 @@ share/lean/lean.mk %%DATADIR%%/src/lean/Lean/Elab/Tactic/Meta.lean %%DATADIR%%/src/lean/Lean/Elab/Tactic/Rewrite.lean %%DATADIR%%/src/lean/Lean/Elab/Tactic/Simp.lean +%%DATADIR%%/src/lean/Lean/Elab/Tactic/Simproc.lean %%DATADIR%%/src/lean/Lean/Elab/Tactic/Split.lean %%DATADIR%%/src/lean/Lean/Elab/Tactic/Unfold.lean %%DATADIR%%/src/lean/Lean/Elab/Term.lean @@ -1985,11 +2005,19 @@ share/lean/lean.mk %%DATADIR%%/src/lean/Lean/Meta/Tactic/Revert.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/Rewrite.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/Simp.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Core.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Fin.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Int.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Nat.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/UInt.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/Simp/Main.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/Simp/RegisterCommand.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/Simp/Rewrite.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/Simp/SimpAll.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/Simp/SimpCongrTheorems.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/Simp/SimpTheorems.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/Simp/Simproc.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/Simp/Types.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/Split.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/SplitIf.lean @@ -2197,7 +2225,6 @@ share/lean/lean.mk %%DATADIR%%/src/lean/lake/Lake/Util/OptionIO.lean %%DATADIR%%/src/lean/lake/Lake/Util/OrdHashSet.lean %%DATADIR%%/src/lean/lake/Lake/Util/OrderedTagAttribute.lean -%%DATADIR%%/src/lean/lake/Lake/Util/Platform.lean %%DATADIR%%/src/lean/lake/Lake/Util/Proc.lean %%DATADIR%%/src/lean/lake/Lake/Util/RBArray.lean %%DATADIR%%/src/lean/lake/Lake/Util/Store.lean