[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, master, updated. debian/0.91-2-7-ga245885

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 4718e8c73f12f32a209a970ea2e3b2c4a51cf097
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Fri Apr 15 23:14:38 2011 +0200

    Update copyright file.

diff --git a/debian/changelog b/debian/changelog
index bc9c97b..8e73054 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,8 +1,9 @@
 alt-ergo (0.93-1) unstable; urgency=low
 
   * New upstream release.
+  * Update copyright file.
 
- -- Mehdi Dogguy <mehdi at debian.org>  Fri, 15 Apr 2011 22:51:40 +0200
+ -- Mehdi Dogguy <mehdi at debian.org>  Fri, 15 Apr 2011 23:14:20 +0200
 
 alt-ergo (0.91-2) unstable; urgency=low
 
diff --git a/debian/copyright b/debian/copyright
index 890324f..0959ca9 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -3,27 +3,17 @@ Fri, 22 Feb 2008 10:09:03 +0100.
 
 It was downloaded from <http://alt-ergo.lri.fr/http/>
 
-Files: heap.ml{,i}
-Copyright: © 2003 Jean-Christophe FILLIÂTRE <filliatr at lri.fr>
-           © 1996 INRIA
-License: GNU Library General Public License version 2
-
 Files: configure.in,Makefile.in
 Copyright: © 2001 Jean-Christophe FILLIÂTRE <filliatr at lri.fr>
 License: GNU Library General Public License version 2
 
-Files: hashcons.ml{,i}
-Copyright: © 2000 Jean-Christophe FILLIÂTRE <filliatr at lri.fr>
-License: GNU Library General Public License version 2
-
-Files: why_lexer.mll,why_parser.mly
-Copyright: © 2002 Jean-Christophe FILLIÂTRE <filliatr at lri.fr>
-License: GNU General Public License version 2
-
 Files: *.ml,*.mll,*.mly,*.mli
-Copyright: © 2006-2008 Sylvain Conchon
-           © 2006-2008 Evelyne Contejean
-           © 2006-2008 CNRS-LRI-Universite Paris Sud
+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
 License: CeCILL-C
 
 Copyright: © 2006 Sylvain Conchon

-- 
alt-ergo packaging