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

[Carl Hansen]

------------------------------------------------------------
revno: 10515
revision-id: carlhansen@gnu.org-20240830000635-oo7jk4pxbvt9rgq8
parent: carlhansen@gnu.org-20240830000622-j1nl3kpclryr3qm9
committer: carlhansen@gnu.org
branch nick: trunk
timestamp: Fri 2024-08-30 00:06:35 +0000
message:
  update lean4 to 4.10.0
modified:
  pkg/other/lean4/Makefile       makefile-20230710184822-xw6fpmfpxysr7wef-3

=== modified file 'pkg/other/lean4/Makefile'
--- a/pkg/other/lean4/Makefile  2024-08-24 04:02:05 +0000
+++ b/pkg/other/lean4/Makefile  2024-08-30 00:06:35 +0000
@@ -58,14 +58,15 @@
 LIBDEPS =
 
 #BUILD_SCRIPTS = it
+LICENSE = apache
 ######################################################################
 
 include ../../../gar/gar.lib/cmake.mk
 include ../../../gar/varb.mk
 include config.mk
 
+# abandon git approach for now:
 #.PHONY: build-it
-# abandon git approach for now:
 #fetch: fetch-git
 
 #post-fetch: