[Pkg-ocaml-maint-commits] r5300 - /trunk/packages/ergo/trunk/debian/copyright

[dogguy-guest at users.alioth.debian.org]

Author: dogguy-guest
Date: Tue Mar  4 16:43:10 2008
New Revision: 5300

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=5300
Log:

fix copyright file


Modified:
    trunk/packages/ergo/trunk/debian/copyright

Modified: trunk/packages/ergo/trunk/debian/copyright
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/ergo/trunk/debian/copyright?rev=5300&op=diff
==============================================================================
--- trunk/packages/ergo/trunk/debian/copyright (original)
+++ trunk/packages/ergo/trunk/debian/copyright Tue Mar  4 16:43:10 2008
@@ -5,15 +5,23 @@
 
     Sylvain Conchon <conchon at lri.fr>
     Evelyne Contejean <contejea at lri.fr>
-    Johannes Kanig <kanig at lri.fr>
-    Stephane Lescuyer <lescuyer at lri.fr>
 
 Copyright: 
 
-    <Copyright (C) 2006-2008 Sylvain Conchon>
-    <Copyright (C) 2006-2008 Evelyne Contejean>
-    <Copyright (C) 2006-2008 Stephane Lescuyer>
-    <Copyright (C) 2006-2007 Johannes Kanig>
+    <Copyright (C) 2006 Sylvain Conchon>
+
+    heap.ml, heap.mli :
+    <Copyright (C) 2003 Jean-Christophe FILLIATRE>
+    <Copyright (C) 1996 INRIA>
+
+    configure.in, Makefile.in :
+    <Copyright (C) 2001 Jean-Christophe FILLIATRE>
+
+    hashcons.ml, hashcons.mli :
+    <Copyright (C) 2000 Jean-Christophe FILLIATRE>
+
+    why_lexer.mll, why_parser.mly :
+    <Copyright (C) 2002 Jean-Christophe FILLIATRE>
 
 License: