[Pkg-ocaml-maint-commits] r3554 - /trunk/packages/coq/branches/8.1/debian/copyright

[smimram at users.alioth.debian.org]

Author: smimram
Date: Tue Feb 13 18:07:17 2007
New Revision: 3554

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=3554
Log:
Converted copyright to utf8.

Modified:
    trunk/packages/coq/branches/8.1/debian/copyright

Modified: trunk/packages/coq/branches/8.1/debian/copyright
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/branches/8.1/debian/copyright?rev=3554&op=diff
==============================================================================
--- trunk/packages/coq/branches/8.1/debian/copyright (original)
+++ trunk/packages/coq/branches/8.1/debian/copyright Tue Feb 13 18:07:17 2007
@@ -14,9 +14,9 @@
 This product includes also software developed by
         Yves Bertot, Lemme, INRIA Sophia-Antipolis (contrib/interface,
           parsing/search.ml)
-        Pierre Crégut, France Telecom R & D (contrib/omega and contrib/romega)
+        Pierre Crégut, France Telecom R & D (contrib/omega and contrib/romega)
         Pierre Courtieu, Lemme (contrib/funind)
-        Loïc Pottier, Lemme, INRIA Sophia-Antipolis (contrib/fourier)
+        Loïc Pottier, Lemme, INRIA Sophia-Antipolis (contrib/fourier)
         Claudio Sacerdoti Coen, HELM, University of Bologna (contrib/xml)
 
 Coq includes a tactic Jp based on JProver, a theorem prover for
@@ -27,13 +27,13 @@
         
 The Coq development Team (march 2004)
         Bruno Barras (INRIA)
-        Pierre Corbineau (Université Paris Sud)
-        Jean-Christophe Filliâtre (CNRS)
+        Pierre Corbineau (Université Paris Sud)
+        Jean-Christophe Filliâtre (CNRS)
         Hugo Herbelin (INRIA)
-        Pierre Letouzey (Université Paris Sud)
-        Claude Marché (Université Paris Sud-INRIA)
-        Christine Paulin (Université Paris Sud) 
-        Clément Renard (INRIA)
+        Pierre Letouzey (Université Paris Sud)
+        Claude Marché (Université Paris Sud-INRIA)
+        Christine Paulin (Université Paris Sud) 
+        Clément Renard (INRIA)
 
 The complete list of developpers and contributors can be found in
 /usr/share/doc/doc/CREDITS.gz