[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, master, updated. debian/0.8-1-6-g615b397

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 8478821ed8efbb77f2f8ac17684e9cd083bc184b
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Tue Feb 24 10:33:54 2009 +0100

    Add licences where needed

diff --git a/debian/copyright b/debian/copyright
index 701557e..b1a3572 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -6,15 +6,25 @@ 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
+License: CeCILL-C
 
 Copyright: © 2006 Sylvain Conchon
 License: CeCILL-C

-- 
alt-ergo packaging