[Gsrc-commit] trunk r10481: update lean4 to 4.10.0

[Carl Hansen]

------------------------------------------------------------
revno: 10481
revision-id: carlhansen@gnu.org-20240824040205-h14gwitj12krszsi
parent: carlhansen@gnu.org-20240823230544-ck7wp2kxqxdag7rl
committer: carlhansen@gnu.org
branch nick: trunk
timestamp: Sat 2024-08-24 04:02:05 +0000
message:
  update lean4 to 4.10.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-07-26 03:31:40 +0000
+++ b/pkg/other/lean4/Makefile  2024-08-24 04:02:05 +0000
@@ -21,7 +21,7 @@
 
 NAME =    lean4
 GARNAME = lean4
-GARVERSION = 4.9.1
+GARVERSION = 4.10.0
 
 HOME_URL =  https://github.com/
 DESCRIPTION = Lean4 theorem prover and functional language

=== modified file 'pkg/other/lean4/sha256sums'
--- a/pkg/other/lean4/sha256sums        2024-07-26 03:31:40 +0000
+++ b/pkg/other/lean4/sha256sums        2024-08-24 04:02:05 +0000
@@ -1,1 +1,1 @@
-713e41ec71a9e9030e6f46cc5dbb5aef30ac1887dfe5faa5a054c0a2f0613b1e  
download/v4.9.1.tar.gz
+dee5d1dbcea924fa3f4500c1f4854ea5953f471e3600dac71421c742c844b094  
download/v4.10.0.tar.gz