[Pkg-ocaml-maint-commits] r3488 - in /trunk/packages/coq-doc: trunk/debian/changelog trunk/debian/copyright trunk/debian/coq-doc-html.doc-base.tutorial upstream/coq-doc_8.0pl3+8.1beta.2.orig.tar.gz upstream/coq-doc_8.1~gamma.orig.tar.gz

[smimram at users.alioth.debian.org]

Author: smimram
Date: Sun Jan  7 20:19:05 2007
New Revision: 3488

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

Added:
    trunk/packages/coq-doc/upstream/coq-doc_8.1~gamma.orig.tar.gz   (with props)
Removed:
    trunk/packages/coq-doc/upstream/coq-doc_8.0pl3+8.1beta.2.orig.tar.gz
Modified:
    trunk/packages/coq-doc/trunk/debian/changelog
    trunk/packages/coq-doc/trunk/debian/copyright
    trunk/packages/coq-doc/trunk/debian/coq-doc-html.doc-base.tutorial

Modified: trunk/packages/coq-doc/trunk/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-doc/trunk/debian/changelog?rev=3488&op=diff
==============================================================================
--- trunk/packages/coq-doc/trunk/debian/changelog (original)
+++ trunk/packages/coq-doc/trunk/debian/changelog Sun Jan  7 20:19:05 2007
@@ -1,3 +1,9 @@
+coq-doc (8.1~gamma-1) experimental; urgency=low
+
+  * New upstream release.
+
+ -- Samuel Mimram <smimram at debian.org>  Sun,  7 Jan 2007 20:18:31 +0100
+
 coq-doc (8.0pl3+8.1beta.2-1) experimental; urgency=low
 
   * New beta upstream release.

Modified: trunk/packages/coq-doc/trunk/debian/copyright
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-doc/trunk/debian/copyright?rev=3488&op=diff
==============================================================================
--- trunk/packages/coq-doc/trunk/debian/copyright (original)
+++ trunk/packages/coq-doc/trunk/debian/copyright Sun Jan  7 20:19:05 2007
@@ -12,7 +12,7 @@
 version is presently available at http://www.opencontent.org/openpub/).
 Options A and B are *not* elected.
 
-The Coq Tutorial is a work by Gérard Huet, Gilles Kahn and Christine
+The Coq Tutorial is a work by Gérard Huet, Gilles Kahn and Christine
 Paulin-Mohring. All documents (the LaTeX source and the PostScript,
 PDF and html outputs) are copyright (c) INRIA 1999-2006. The material
 connected to the Coq Tutorial may be distributed only subject to the
@@ -30,7 +30,7 @@
 version 2.1 or later.
 See /usr/share/common-licenses/LGPL.
 
-The FAQ (Coq for the Clueless) is a work by Pierre Castéran, Hugo
+The FAQ (Coq for the Clueless) is a work by Pierre Castéran, Hugo
 Herbelin, Florent Kirchner, Benjamin Monate, and Julien Narboux. All
 documents (the LaTeX source and the PostScript, PDF and html outputs)
 are copyright (c) INRIA 2004-2006. The material connected to the FAQ
@@ -41,7 +41,7 @@
 elected.
 
 The Tutorial on [Co-]Inductive Types in Coq is a work by Pierre
-Castéran and Eduardo Gimenez. All related documents (the LaTeX and
+Castéran and Eduardo Gimenez. All related documents (the LaTeX and
 BibTeX sources and the PostScript, PDF and html outputs) are copyright
 (c) INRIA 1997-2006. The material connected to the Tutorial on
 [Co-]Inductive Types in Coq may be distributed only subject to the

Modified: trunk/packages/coq-doc/trunk/debian/coq-doc-html.doc-base.tutorial
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-doc/trunk/debian/coq-doc-html.doc-base.tutorial?rev=3488&op=diff
==============================================================================
--- trunk/packages/coq-doc/trunk/debian/coq-doc-html.doc-base.tutorial (original)
+++ trunk/packages/coq-doc/trunk/debian/coq-doc-html.doc-base.tutorial Sun Jan  7 20:19:05 2007
@@ -1,6 +1,6 @@
 Document: coq-tutorial
 Title: The Coq Proof Assistant -- A Tutorial
-Author: Gérard Huet, Gilles Kahn and Christine Paulin-Mohring
+Author: Gérard Huet, Gilles Kahn and Christine Paulin-Mohring
 Abstract: This documents presents in the most elementary manner a tutorial on the basic specification language of the Coq proof-assistant, called Gallina, in which formal axiomatisations may be developed, and on the main proof tools.
 Section: Apps/Math
 

Added: trunk/packages/coq-doc/upstream/coq-doc_8.1~gamma.orig.tar.gz
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-doc/upstream/coq-doc_8.1%7Egamma.orig.tar.gz?rev=3488&op=file
==============================================================================
Binary file - no diff available.

Propchange: trunk/packages/coq-doc/upstream/coq-doc_8.1~gamma.orig.tar.gz
------------------------------------------------------------------------------
    svn:mime-type = application/octet-stream