Received: by mail.netbsd.org (Postfix, from userid 605) id E0DBC84D70; Sun, 10 Dec 2017 14:02:43 +0000 (UTC) Received: from localhost (localhost [127.0.0.1]) by mail.netbsd.org (Postfix) with ESMTP id 6954484D63 for ; Sun, 10 Dec 2017 14:02:43 +0000 (UTC) X-Virus-Scanned: amavisd-new at netbsd.org Received: from mail.netbsd.org ([IPv6:::1]) by localhost (mail.netbsd.org [IPv6:::1]) (amavisd-new, port 10025) with ESMTP id j0_IG8NCTlYM for ; Sun, 10 Dec 2017 14:02:43 +0000 (UTC) Received: from cvs.NetBSD.org (ivanova.netbsd.org [199.233.217.197]) by mail.netbsd.org (Postfix) with ESMTP id B508984D32 for ; Sun, 10 Dec 2017 14:02:42 +0000 (UTC) Received: by cvs.NetBSD.org (Postfix, from userid 500) id 9F461FB40; Sun, 10 Dec 2017 14:02:33 +0000 (UTC) Content-Transfer-Encoding: 7bit Content-Type: multipart/mixed; boundary="_----------=_1512914553156630" MIME-Version: 1.0 Date: Sun, 10 Dec 2017 14:02:33 +0000 From: "Adam Ciarcinski" Subject: CVS commit: pkgsrc To: pkgsrc-changes@NetBSD.org Reply-To: adam@netbsd.org X-Mailer: log_accum Message-Id: <20171210140233.9F461FB40@cvs.NetBSD.org> Sender: pkgsrc-changes-owner@NetBSD.org List-Id: pkgsrc-changes.NetBSD.org Precedence: bulk List-Unsubscribe: This is a multi-part message in MIME format. --_----------=_1512914553156630 Content-Disposition: inline Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset="US-ASCII" 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. --_----------=_1512914553156630 Content-Disposition: inline Content-Length: 698 Content-Transfer-Encoding: binary Content-Type: text/x-diff; charset=us-ascii 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 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 --_----------=_1512914553156630--