CVS commit: pkgsrc/devel/spin

["Thomas Klausner" <wiz%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   wiz
Date:           Mon Feb  9 07:13:13 UTC 2026

Modified Files:
        pkgsrc/devel/spin: Makefile

Log Message:
spin: switch to https


To generate a diff of this commit:
cvs rdiff -u -r1.7 -r1.8 pkgsrc/devel/spin/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/spin/Makefile
diff -u pkgsrc/devel/spin/Makefile:1.7 pkgsrc/devel/spin/Makefile:1.8
--- pkgsrc/devel/spin/Makefile:1.7      Tue Jul 11 11:07:05 2023
+++ pkgsrc/devel/spin/Makefile  Mon Feb  9 07:13:13 2026
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.7 2023/07/11 11:07:05 wiz Exp $
+# $NetBSD: Makefile,v 1.8 2026/02/09 07:13:13 wiz Exp $
 
 DISTNAME=      spin-6.5.2
 CATEGORIES=    devel
@@ -7,7 +7,7 @@ GITHUB_PROJECT= Spin
 GITHUB_TAG=    version-${PKGVERSION_NOREV}
 
 MAINTAINER=    agc%NetBSD.org@localhost
-HOMEPAGE=      http://spinroot.com/spin/whatispin.html
+HOMEPAGE=      https://spinroot.com/spin/whatispin.html
 COMMENT=       Tool for formal verification of multi-threaded software applications
 LICENSE=       modified-bsd