[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, experimental/master, updated. debian/0.94-2-23-g8e5156a

[Ralf Treinen]

The following commit has been merged in the experimental/master branch:
commit 3b6b50b14da0af1af39b37503f068bb214a5904d
Author: Ralf Treinen <treinen at free.fr>
Date:   Mon Apr 8 21:54:20 2013 +0200

    update copyright years and holders

diff --git a/debian/changelog b/debian/changelog
index 5fd9c30..5bb5f1b 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -19,7 +19,10 @@ alt-ergo (0.95.1-1) UNRELEASED; urgency=low
        other targets
   * Added myself as uploader.
   * Standards-Version 3.9.4 (no change)
-  * debian/copyright: machine-readable format 1.0
+  * debian/copyright:
+    - machine-readable format 1.0
+    - update copyright years to 2006-2011
+    - add copyright holder Francois Bobot
   * Source-format 3.0 *(quilt):
     - debian/source/format: update
     - debian/rules: drop "quilt" option from dh invocation
diff --git a/debian/copyright b/debian/copyright
index b5e66cb..e517f80 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -9,12 +9,13 @@ Copyright: © 2001 Jean-Christophe FILLIÂTRE <filliatr at lri.fr>
 License: LGPL-2
 
 Files: *.ml *.mll *.mly *.mli
-Copyright: © 2006-2010 Sylvain Conchon
-           © 2006-2010 Evelyne Contejean
-           © 2006-2010 Stephane Lescuyer
-           © 2006-2010 Mohamed Iguernelala
-           © 2006-2010 Alain Mebsout
-           © 2006-2010 CNRS-LRI-Universite Paris Sud
+Copyright: © 2006-2011 Sylvain Conchon
+           © 2006-2011 Evelyne Contejean
+           © 2006-2011 Francois Bobot
+           © 2006-2011 Mohamed Iguernelala
+           © 2006-2011 Stephane Lescuyer
+           © 2006-2011 Alain Mebsout
+           © 2006-2011 CNRS-LRI-Universite Paris Sud
 License: CeCILL-C
 
 Files: debian/*

-- 
alt-ergo packaging