diff options
| author |  Samuel Mimram <smimram@debian.org> | 2007-02-13 17:07:17 +0000 |
|---|---|---|
| committer | Samuel Mimram <smimram@debian.org> | 2007-02-13 17:07:17 +0000 |
| commit | d96021d8572d4e16facf14136bac604597deefba (patch) | |
| tree | ce446b3abd9445f9ad9e18c1421abc48ae4e9376 | |
| parent | 63a8706144442ef2c7a0e0b2b42dda6a5d9ec7ec (diff) | |
Converted copyright to utf8.debian/8.1+dfsg-1
| -rw-r--r-- | debian/copyright | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/debian/copyright b/debian/copyright index c53b8733..f0856000 100644 --- a/debian/copyright +++ b/debian/copyright @@ -14,9 +14,9 @@ INRIA-CNRS, University Paris Sud, All rights reserved. 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 @@ and then integrated it into Coq. 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 |