git: d3029e4e321b - main - math/lean4: update 4.5.0 → 4.6.0

Go to: [ bottom of page ] [ top of archives ] [ this month ]
From: Yuri Victorovich <yuri_at_FreeBSD.org>
Date: Thu, 29 Feb 2024 10:14:48 UTC
The branch main has been updated by yuri:

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

commit d3029e4e321b891b3c1646c0c5ca826c24f32b50
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2024-02-29 08:54:09 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2024-02-27 00:31:16 +0000

    math/lean4: update 4.5.0 → 4.6.0
    
    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