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
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to