pkgsrc-Changes archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
CVS commit: pkgsrc
Module Name: pkgsrc
Committed By: adam
Date: Sun Dec 10 14:02:33 UTC 2017
Modified Files:
pkgsrc/devel/spin: Makefile
Removed Files:
pkgsrc/licenses: spin-license
Log Message:
removed spin-license
On 30 December 2015 Alcatel-Lucent (the company that inherited Bell Laboratories from AT&T in the trivestiture from 1996) transfered the copyright to all sources to Gerard Holzmann, explicitly to
enable a standard open source release under the BSD 3-Clause license. Starting with Spin Version 6.4.5 all Spin code, sources and executables, are now available under the BSD 3-Clause license.
To generate a diff of this commit:
cvs rdiff -u -r1.5 -r1.6 pkgsrc/devel/spin/Makefile
cvs rdiff -u -r1.1 -r0 pkgsrc/licenses/spin-license
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.5 pkgsrc/devel/spin/Makefile:1.6
--- pkgsrc/devel/spin/Makefile:1.5 Sun Dec 10 13:56:34 2017
+++ pkgsrc/devel/spin/Makefile Sun Dec 10 14:02:33 2017
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.5 2017/12/10 13:56:34 adam Exp $
+# $NetBSD: Makefile,v 1.6 2017/12/10 14:02:33 adam Exp $
DISTNAME= spin647
PKGNAME= spin-6.4.7
@@ -8,7 +8,7 @@ MASTER_SITES= http://spinroot.com/spin/S
MAINTAINER= agc%NetBSD.org@localhost
HOMEPAGE= http://spinroot.com/spin/whatispin.html
COMMENT= Formal correctness prover
-LICENSE= spin-license
+LICENSE= modified-bsd
WRKSRC= ${WRKDIR}/Spin/Src${PKGVERSION_NOREV}
USE_TOOLS+= yacc
Home |
Main Index |
Thread Index |
Old Index