[Pkg-ocaml-maint-commits] [menhir] 01/01: update d/copyright: generator under GPLv2 now
Ralf Treinen
treinen at moszumanska.debian.org
Sat Jul 22 18:09:56 UTC 2017
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 <treinen at 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 <treinen at debian.org> Fri, 14 Jul 2017 15:42:54 +0200
+ -- Ralf Treinen <treinen at 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 <smimram at debian.org>
-Packaged-Date: Wed, 19 Apr 2006 19:11:20 +0200
+Upstream-Name: menhir
+Upstream-Contact: François Pottier <Francois.Pottier at 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
More information about the Pkg-ocaml-maint-commits
mailing list