We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 4f98dfd commit cd08292Copy full SHA for cd08292
1 file changed
devel/spin/Makefile
@@ -1,4 +1,4 @@
1
-# $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 $
2
3
DISTNAME= spin-6.5.2
4
CATEGORIES= devel
@@ -7,7 +7,7 @@ GITHUB_PROJECT= Spin
7
GITHUB_TAG= version-${PKGVERSION_NOREV}
8
9
MAINTAINER= agc@NetBSD.org
10
-HOMEPAGE= http://spinroot.com/spin/whatispin.html
+HOMEPAGE= https://spinroot.com/spin/whatispin.html
11
COMMENT= Tool for formal verification of multi-threaded software applications
12
LICENSE= modified-bsd
13
0 commit comments