[Pkg-ocaml-maint-commits] [menhir] 06/09: Switch debian/copyright to format 1.0

Stéphane Glondu glondu at moszumanska.debian.org
Sat Aug 6 09:01:08 UTC 2016


This is an automated email from the git hooks/post-receive script.

glondu pushed a commit to branch master
in repository menhir.

commit a52d97f3af3e2dd58c62e282aa400bd43301a41c
Author: Stephane Glondu <steph at glondu.net>
Date:   Sat Aug 6 10:42:16 2016 +0200

    Switch debian/copyright to format 1.0
---
 debian/copyright | 290 +++++++++++++++++++++++++++----------------------------
 1 file changed, 143 insertions(+), 147 deletions(-)

diff --git a/debian/copyright b/debian/copyright
index c5a5040..3767b22 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -1,147 +1,143 @@
-This package was debianized by Samuel Mimram <smimram at debian.org> on
-Wed, 19 Apr 2006 19:11:20 +0200.
-
-It was downloaded from http://pauillac.inria.fr/~fpottier/menhir/
-
-Copyright Holders: François Pottier <Francois.Pottier at inria.fr>, Yann Régis-Gianas <Yann.Regis-Gianas at inria.fr>
-
-License:
-
-In the following, "the Library" refers to the following file:
-
-  standard.mly
-
-and "the Generator" refers to all files marked "Copyright INRIA" in the
-root directory.
-
-The Generator is distributed under the terms of the Q Public License
-version 1.0 with a change to choice of law (included below).
-
-The Library is distributed under the terms of the GNU Library General
-Public License version 2 which can be found in
-/usr/share/common-licenses/LGPL-2.
-
-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.
-
-As a special exception to the GNU Library General Public License, you
-may link, statically or dynamically, a "work that uses the Library"
-with a publicly distributed version of the Library to produce an
-executable file containing portions of the Library, and distribute
-that executable file under terms of your choice, without any of the
-additional requirements listed in clause 6 of the GNU Library General
-Public License.  By "a publicly distributed version of the Library",
-we mean either the unmodified Library as distributed by INRIA, or a
-modified version of the Library that is distributed under the
-conditions defined in clause 3 of the GNU Library General Public
-License.  This exception does not however invalidate any other reasons
-why the executable file might be covered by the GNU Library General
-Public License.
-
-----------------------------------------------------------------------
-
-                   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.
+Format: http://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
+
+Files: *
+Copyright: 2005-2015, Inria
+License: QPL-1.0-exception
+
+Files: src/standard.mly
+Copyright: 2005-2015, Inria
+License: LGPL-2-exception
+
+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
+ /usr/share/common-licenses/LGPL-2.
+ .
+ As a special exception to the GNU Library General Public License, you
+ may link, statically or dynamically, a "work that uses the Library"
+ with a publicly distributed version of the Library to produce an
+ executable file containing portions of the Library, and distribute
+ that executable file under terms of your choice, without any of the
+ additional requirements listed in clause 6 of the GNU Library General
+ Public License.  By "a publicly distributed version of the Library",
+ we mean either the unmodified Library as distributed by INRIA, or a
+ modified version of the Library that is distributed under the
+ conditions defined in clause 3 of the GNU Library General Public
+ 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