[Gsrc-commit] trunk r10915: update lean4 to 4.14.0

[Carl Hansen]

------------------------------------------------------------
revno: 10915
revision-id: carlhansen@gnu.org-20241214030942-rvxnc0gtkyq8qzn2
parent: carlhansen@gnu.org-20241213060401-qvjhychehena6wgc
committer: carlhansen@gnu.org
branch nick: trunk
timestamp: Sat 2024-12-14 03:09:42 +0000
message:
  update lean4 to 4.14.0
modified:
  pkg/other/lean4/Makefile       makefile-20230710184822-xw6fpmfpxysr7wef-3
  pkg/other/lean4/sha256sums     sha256sums-20230710184822-xw6fpmfpxysr7wef-4

=== modified file 'pkg/other/lean4/Makefile'
--- a/pkg/other/lean4/Makefile  2024-12-01 23:15:44 +0000
+++ b/pkg/other/lean4/Makefile  2024-12-14 03:09:42 +0000
@@ -21,7 +21,7 @@
 
 NAME =    lean4
 GARNAME = lean4
-GARVERSION = 4.13.0
+GARVERSION = 4.14.0
 HOME_URL =  https://lean-lang.org
 DESCRIPTION = Lean4 theorem prover and functional language
 define BLURB

=== modified file 'pkg/other/lean4/sha256sums'
--- a/pkg/other/lean4/sha256sums        2024-12-01 23:15:44 +0000
+++ b/pkg/other/lean4/sha256sums        2024-12-14 03:09:42 +0000
@@ -1,1 +1,1 @@
-8392396c1b5fb6650277c1eac29ff6549a559c64c3eb3d88acb3cb2db05d3de1  
download/v4.13.0.tar.gz
+c472518de47d10005784716ad83ffc6f02c99e8e639b04980db35b7f8e02682b  
download/v4.14.0.tar.gz