[Gsrc-commit] trunk r10273: update lean4 to 4.8.0

[Carl Hansen]

------------------------------------------------------------
revno: 10273
revision-id: carlhansen1234@gmail.com-20240608053053-ljnugw7f2ex3rm3e
parent: carlhansen1234@gmail.com-20240608050208-zu5w71sghd54v62p
committer: carlhansen1234@gmail.com
branch nick: trunk
timestamp: Fri 2024-06-07 22:30:53 -0700
message:
  update lean4 to 4.8.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-04-26 19:24:26 +0000
+++ b/pkg/other/lean4/Makefile  2024-06-08 05:30:53 +0000
@@ -21,7 +21,7 @@
 
 NAME =    lean4
 GARNAME = lean4
-GARVERSION = 4.7.0
+GARVERSION = 4.8.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-04-26 19:24:26 +0000
+++ b/pkg/other/lean4/sha256sums        2024-06-08 05:30:53 +0000
@@ -1,1 +1,1 @@
-b1f00b5f2431b34aeacba993c4f4675211a3827e96c4b1a06054c58188ae72c8  
download/v4.7.0.tar.gz
+3bb46c24b4f5ad1fee38163bf466d8f60a334bb64a19c9801a42f76162580f9c  
download/v4.8.0.tar.gz