CVS commit: pkgsrc

["Adam Ciarcinski" <adam%netbsd.org@localhost>]

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