This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository menhir.
commit e08bbaf64da7d4e10aed1c4beec0bb633af0748d Author: Ralf Treinen <trei...@irif.fr> Date: Sat Jul 22 20:01:39 2017 +0200 update d/copyright: generator under GPLv2 now --- debian/changelog | 7 ++- debian/copyright | 151 ++++++++++++------------------------------------------- 2 files changed, 39 insertions(+), 119 deletions(-) diff --git a/debian/changelog b/debian/changelog index 9d36612..794f430 100644 --- a/debian/changelog +++ b/debian/changelog @@ -18,8 +18,13 @@ menhir (20170712-1) unstable; urgency=medium * debian/tests/control: add dependency on @ * Changed section to ocaml * Minor improvements of package descriptions. + * Updated debian/copyright: + - update header (upstream name and contact) + - complete file list of library files + - the files not being part of the library are under GPLv2 now + - bump copyright years - -- Ralf Treinen <trei...@debian.org> Fri, 14 Jul 2017 15:42:54 +0200 + -- Ralf Treinen <trei...@debian.org> Sat, 22 Jul 2017 19:58:29 +0200 menhir (20170607.dfsg-3) unstable; urgency=medium diff --git a/debian/copyright b/debian/copyright index a0d5311..06e9d40 100644 --- a/debian/copyright +++ b/debian/copyright @@ -1,15 +1,43 @@ Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ -Packaged-By: Samuel Mimram <smim...@debian.org> -Packaged-Date: Wed, 19 Apr 2006 19:11:20 +0200 +Upstream-Name: menhir +Upstream-Contact: François Pottier <francois.pott...@inria.fr> Files: * -Copyright: 2005-2015, Inria -License: QPL-1.0-exception +Copyright: 2005-2017, Inria +License: GPL-2 Files: src/standard.mly -Copyright: 2005-2015, Inria + src/Convert.ml src/Convert.mli + src/Engine.ml src/Engine.mli + src/EngineTypes.ml + src/ErrorReports.ml src/ErrorReports.mli + src/General.ml src/General.mli + src/IncrementalEngine.ml + src/InfiniteArray.ml src/InfiniteArray.mli + src/InspectionTableFormat.ml + src/InspectionTableInterpreter.ml src/InspectionTableInterpreter.mli + src/LinearizedArray.ml src/LinearizedArray.mli + src/PackedIntArray.ml src/PackedIntArray.mli + src/Printers.ml src/Printers.mli + src/RowDisplacement.ml src/RowDisplacement.mli + src/StaticVersion.ml src/StaticVersion.ml + src/TableFormat.ml + src/TableInterpreter.ml src/TableInterpreter.mli +Comment: this file list is defined by upstream's LICENSE file as: + - the file src/standard.mly; + - the OCaml source files whose basename appears in the file + src/menhirLib.mlpack and whose extension is ".ml" or ".mli". +Copyright: 2005-2017, Inria License: LGPL-2-exception +License: GPL-2 + This program is free software; you can redistribute it and/or modify + it under the terms of the GNU General Public License as published by + the Free Software Foundation; either version 2 of the License. + . + On a debian system, the complete license can be found in the file + /usr/share/common-licenses/GPL-2. + License: LGPL-2-exception The Library is distributed under the terms of the GNU Library General Public License version 2 which can be found in @@ -28,116 +56,3 @@ License: LGPL-2-exception License. This exception does not however invalidate any other reasons why the executable file might be covered by the GNU Library General Public License. - -License: QPL-1.0-exception - The Generator is distributed under the terms of the Q Public License - version 1.0 with a change to choice of law (included below). - . - As a special exception to the Q Public Licence, you may develop - application programs, reusable components and other software items - that link with the original or modified versions of the Generator - and are not made available to the general public, without any of the - additional requirements listed in clause 6c of the Q Public licence. - . - THE Q PUBLIC LICENSE version 1.0 - . - Copyright (C) 1999 Troll Tech AS, Norway. - Everyone is permitted to copy and - distribute this license document. - . - The intent of this license is to establish freedom to share and change - the software regulated by this license under the open source model. - . - This license applies to any software containing a notice placed by the - copyright holder saying that it may be distributed under the terms of - the Q Public License version 1.0. Such software is herein referred to - as the Software. This license covers modification and distribution of - the Software, use of third-party application programs based on the - Software, and development of free software which uses the Software. - . - Granted Rights - . - 1. You are granted the non-exclusive rights set forth in this license - provided you agree to and comply with any and all conditions in this - license. Whole or partial distribution of the Software, or software - items that link with the Software, in any form signifies acceptance of - this license. - . - 2. You may copy and distribute the Software in unmodified form - provided that the entire package, including - but not restricted to - - copyright, trademark notices and disclaimers, as released by the - initial developer of the Software, is distributed. - . - 3. You may make modifications to the Software and distribute your - modifications, in a form that is separate from the Software, such as - patches. The following restrictions apply to modifications: - . - a. Modifications must not alter or remove any copyright notices - in the Software. - . - b. When modifications to the Software are released under this - license, a non-exclusive royalty-free right is granted to the - initial developer of the Software to distribute your - modification in future versions of the Software provided such - versions remain available under these terms in addition to any - other license(s) of the initial developer. - . - 4. You may distribute machine-executable forms of the Software or - machine-executable forms of modified versions of the Software, - provided that you meet these restrictions: - . - a. You must include this license document in the distribution. - . - b. You must ensure that all recipients of the machine-executable - forms are also able to receive the complete machine-readable - source code to the distributed Software, including all - modifications, without any charge beyond the costs of data - transfer, and place prominent notices in the distribution - explaining this. - . - c. You must ensure that all modifications included in the - machine-executable forms are available under the terms of this - license. - . - 5. You may use the original or modified versions of the Software to - compile, link and run application programs legally developed by you or - by others. - . - 6. You may develop application programs, reusable components and other - software items that link with the original or modified versions of the - Software. These items, when distributed, are subject to the following - requirements: - . - a. You must ensure that all recipients of machine-executable - forms of these items are also able to receive and use the - complete machine-readable source code to the items without any - charge beyond the costs of data transfer. - . - b. You must explicitly license all recipients of your items to - use and re-distribute original and modified versions of the - items in both machine-executable and source code forms. The - recipients must be able to do so without any charges whatsoever, - and they must be able to re-distribute to anyone they choose. - . - c. If the items are not available to the general public, and the - initial developer of the Software requests a copy of the items, - then you must supply one. - . - Limitations of Liability - . - In no event shall the initial developers or copyright holders be - liable for any damages whatsoever, including - but not restricted to - - lost revenue or profits or other direct, indirect, special, incidental - or consequential damages, even if they have been advised of the - possibility of such damages, except to the extent invariable law, if - any, provides otherwise. - . - No Warranty - . - The Software and this license document are provided AS IS with NO - WARRANTY OF ANY KIND, INCLUDING THE WARRANTY OF DESIGN, - MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. - . - Choice of Law - . - This license is governed by the Laws of France. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/menhir.git _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkgemail@example.com http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits