CVS commit: pkgsrc/devel/why3

["Alexander Nasonov" <alnsn%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   alnsn
Date:           Fri Jan  9 20:46:35 UTC 2026

Modified Files:
        pkgsrc/devel/why3: Makefile

Log Message:
Fix HOMEPAGE.


To generate a diff of this commit:
cvs rdiff -u -r1.12 -r1.13 pkgsrc/devel/why3/Makefile

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

Modified files:

Index: pkgsrc/devel/why3/Makefile
diff -u pkgsrc/devel/why3/Makefile:1.12 pkgsrc/devel/why3/Makefile:1.13
--- pkgsrc/devel/why3/Makefile:1.12     Wed Jan  7 08:46:47 2026
+++ pkgsrc/devel/why3/Makefile  Fri Jan  9 20:46:34 2026
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.12 2026/01/07 08:46:47 wiz Exp $
+# $NetBSD: Makefile,v 1.13 2026/01/09 20:46:34 alnsn Exp $
 
 DISTNAME=      why3-1.8.0
 PKGREVISION=   6
@@ -6,7 +6,7 @@ CATEGORIES=     devel
 MASTER_SITES=  https://why3.gitlabpages.inria.fr/releases/
 
 MAINTAINER=    jihbed.research%gmail.com@localhost
-HOMEPAGE=      http://why3.lri.fr/
+HOMEPAGE=      https://www.why3.org/
 COMMENT=       Platform for deductive program verification
 LICENSE=       gnu-lgpl-v2.1