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

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

Author: dogguy-guest
Date: Wed Mar  5 13:24:50 2008
New Revision: 5305

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

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=5305&op=diff
==============================================================================
--- trunk/packages/ergo/trunk/debian/copyright (original)
+++ trunk/packages/ergo/trunk/debian/copyright Wed Mar  5 13:24:50 2008
@@ -5,6 +5,11 @@
 
     Sylvain Conchon <conchon at lri.fr>
     Evelyne Contejean <contejea at lri.fr>
+    Johannes Kanig <kanig at lri.fr>
+    Stephane Lescuyer <lescuyer at lri.fr>
+
+    Some code is contributed by :
+    Jean-Christophe FILLIATRE <filliatr at lri.fr>
 
 Copyright: