mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-10-18 19:49:40 +00:00
Code Issues Releases Activity

math/lean4: update 4.5.0 → 4.6.0

Browse Source 
Reported by:	portscout
This commit is contained in:
Yuri Victorovich 2024-02-29 00:54:09 -08:00
parent 2fd124913b
commit d3029e4e32
3 changed files with 34 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
math/lean4/Makefile
View File

@ -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

6
math/lean4/distinfo
View File

@ -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

33
math/lean4/pkg-plist
View File

@ -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