lean4: update HOMEPAGE

[Thomas Klausner (via pkgsrc-wip) <commit-notify%pkgsrc.org@localhost>]

Module Name:	pkgsrc-wip
Committed By:	Thomas Klausner <wiz%NetBSD.org@localhost>
Pushed By:	wiz
Date:		Fri Jul 24 13:04:40 2026 +0200
Changeset:	3c35dce52f40ac6599ae21841d729b9dc69b0a0f

Modified Files:
	lean4/Makefile

Log Message:
lean4: update HOMEPAGE

To see a diff of this commit:
https://wip.pkgsrc.org/cgi-bin/gitweb.cgi?p=pkgsrc-wip.git;a=commitdiff;h=3c35dce52f40ac6599ae21841d729b9dc69b0a0f

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

diffstat:
 lean4/Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diffs:
diff --git a/lean4/Makefile b/lean4/Makefile
index 6d2cefb99d..3a1016ee6c 100644
--- a/lean4/Makefile
+++ b/lean4/Makefile
@@ -6,7 +6,8 @@ MASTER_SITES=	${MASTER_SITE_GITHUB:=leanprover/}
 GITHUB_TAG=	v${PKGVERSION_NOREV}
 
 MAINTAINER=	pkgsrc-users%NetBSD.org@localhost
-HOMEPAGE=	https://github.com/leanprover/lean4/
+HOMEPAGE=	https://lean-lang.org/
+#HOMEPAGE=	https://github.com/leanprover/lean4/
 COMMENT=	Programming language for theorem proving
 LICENSE=	apache-2.0