This is an automated email from the git hooks/post-receive script.
treinen pushed a commit to branch master
in repository why.
commit 69a580331ea2fe1ca5f6dd892eea059e74f5b739
Author: Ralf Treinen <trei...@free.fr>
Date: Wed Sep 6 08:43:20 2017 +0200
d/copyright: format 1.0
---
debian/changelog | 2 +-
debian/copyright | 130 +++++++++++++++++++++++++++----------------------------
2 files changed, 66 insertions(+), 66 deletions(-)
diff --git a/debian/changelog b/debian/changelog
index 185b6cb..9a585c1 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -7,7 +7,7 @@ why (2.39-1) unstable; urgency=medium
- fix upstream contact (Claude Marché)
* Standards-Version 4.0.1 (no change)
- -- Ralf Treinen <trei...@debian.org> Tue, 05 Sep 2017 07:35:14 +0200
+ -- Ralf Treinen <trei...@debian.org> Wed, 06 Sep 2017 08:42:44 +0200
why (2.38-1) unstable; urgency=medium
diff --git a/debian/copyright b/debian/copyright
index 5e1bc44..e896414 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -1,12 +1,10 @@
+Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
+Upstream-Name: why
+Source: http://why.lri.fr/
+Upstream-Contact: Claude Marché <claude.mar...@inria.fr>
-Packaged-By: Samuel Mimram <smim...@debian.org>
-Packaged-Date: Thu, 22 Mar 2007 21:02:49 +0100
-Upstream-Source: http://why.lri.fr/
-Upstream Author: Jean-Christophe Filliâtre <jean-christophe.fillia...@lri.fr>
-
-Files: atp/*
-Copyright: © 2003 John Harrison
- © 2002-2010 Romain BARDOU
+Files: *
+Copyright: © 2002-2010 Romain BARDOU
© 2002-2010 Jean-François COUCHOT
© 2002-2010 Mehdi DOGGUY
© 2002-2010 Jean-Christophe FILLIÂTRE
@@ -17,43 +15,30 @@ Copyright: © 2003 John Harrison
© 2002-2010 Yann RÉGIS-GIANAS
© 2002-2010 Nicolas ROUSSET
© 2002-2010 Xavier URBAIN
-License: BSD
-
- Redistribution and use in source and binary forms, with or without
- modification, are permitted provided that the following conditions
- are met:
-
- * Redistributions of source code must retain the above copyright
- notice, this list of conditions and the following disclaimer.
-
- * Redistributions in binary form must reproduce the above copyright
- notice, this list of conditions and the following disclaimer in the
- documentation and/or other materials provided with the distribution.
-
- * The name of John Harrison may not be used to endorse or promote
- products derived from this software without specific prior written
- permission.
-
- THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
- "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
- LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
- FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
- CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
- SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
- LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF
- USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
- ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
- OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT
- OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
- SUCH DAMAGE.
-
-Files: debian/*
-Copyright: © 2007-2009 Samuel Mimram <smim...@debian.org>
- © 2008-2010 Mehdi Dogguy <dog...@pps.jussieu.fr>
-License: LGPL-2
+License: LGPL-2-linking-exception
+ This software is distributed under the terms of the GNU Library
+ General Public License version 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, 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.
+ .
+ On Debian systems, the complete text of the GNU Lesser General Public
+ License can be found in `/usr/share/common-licenses/LGPL-2'.
-Files: *
-Copyright: © 2002-2010 Romain BARDOU
+Files: atp/*
+Copyright: © 2003 John Harrison
+ © 2002-2010 Romain BARDOU
© 2002-2010 Jean-François COUCHOT
© 2002-2010 Mehdi DOGGUY
© 2002-2010 Jean-Christophe FILLIÂTRE
@@ -64,25 +49,40 @@ Copyright: © 2002-2010 Romain BARDOU
© 2002-2010 Yann RÉGIS-GIANAS
© 2002-2010 Nicolas ROUSSET
© 2002-2010 Xavier URBAIN
-License: LGPL-2 | other
-
- This software is distributed under the terms of the GNU Library
- General Public License version 2.
+License: BSD-3-clause
+ Redistribution and use in source and binary forms, with or without
+ modification, are permitted provided that the following conditions
+ are met:
+ .
+ * Redistributions of source code must retain the above copyright
+ notice, this list of conditions and the following disclaimer.
+ .
+ * Redistributions in binary form must reproduce the above copyright
+ notice, this list of conditions and the following disclaimer in the
+ documentation and/or other materials provided with the distribution.
+ .
+ * The name of John Harrison may not be used to endorse or promote
+ products derived from this software without specific prior written
+ permission.
+ .
+ THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+ "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+ LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
+ A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
+ CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
+ EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
+ PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
+ PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
+ OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+ (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+ OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
- 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, 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.
-
-On Debian systems, the complete text of the GNU Lesser General Public
-License can be found in `/usr/share/common-licenses/LGPL-2' and BSD
-License.
+Files: debian/*
+Copyright: © 2007-2009 Samuel Mimram <smim...@debian.org>
+ © 2008-2010 Mehdi Dogguy <dog...@pps.jussieu.fr>
+License: LGPL-2
+ This software is distributed under the terms of the GNU Library
+ General Public License version 2.
+ .
+ On Debian systems, the complete text of the GNU Lesser General Public
+ License can be found in `/usr/share/common-licenses/LGPL-2'.
--
Alioth's /usr/local/bin/git-commit-notice on
/srv/git.debian.org/git/pkg-ocaml-maint/packages/why.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
