[Pkg-ocaml-maint-commits] r3553 - in /trunk/packages/coq-doc: trunk/debian/Makefile.config trunk/debian/changelog trunk/debian/control upstream/coq-doc_8.1.orig.tar.gz upstream/coq-doc_8.1~gamma.orig.tar.gz

[smimram at users.alioth.debian.org]

Author: smimram
Date: Tue Feb 13 15:16:10 2007
New Revision: 3553

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

Added:
    trunk/packages/coq-doc/upstream/coq-doc_8.1.orig.tar.gz   (with props)
Removed:
    trunk/packages/coq-doc/upstream/coq-doc_8.1~gamma.orig.tar.gz
Modified:
    trunk/packages/coq-doc/trunk/debian/Makefile.config
    trunk/packages/coq-doc/trunk/debian/changelog
    trunk/packages/coq-doc/trunk/debian/control

Modified: trunk/packages/coq-doc/trunk/debian/Makefile.config
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-doc/trunk/debian/Makefile.config?rev=3553&op=diff
==============================================================================
--- trunk/packages/coq-doc/trunk/debian/Makefile.config (original)
+++ trunk/packages/coq-doc/trunk/debian/Makefile.config Tue Feb 13 15:16:10 2007
@@ -32,7 +32,7 @@
 
 # Path to Coq distribution
 COQTOP=/usr
-VERSION=8.1-alpha
+VERSION=8.1
 
 # Directory containing Camlp4 binaries. Can be empty if camlp4 is in the PATH
 CAMLP4BIN=/usr/bin
@@ -41,7 +41,7 @@
 CAMLVERSION=OCAML309
 
 # Ocaml .h directory
-CAMLHLIB=/usr/lib/ocaml/3.09.1/caml
+CAMLHLIB=/usr/lib/ocaml/3.09.3/caml
 
 # Camlp4 library directory (avoid CAMLP4LIB used on Windows)
 CAMLP4O=camlp4o

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=3553&op=diff
==============================================================================
--- trunk/packages/coq-doc/trunk/debian/changelog (original)
+++ trunk/packages/coq-doc/trunk/debian/changelog Tue Feb 13 15:16:10 2007
@@ -1,3 +1,9 @@
+coq-doc (8.1-1) experimental; urgency=low
+
+  * New upstream release.
+
+ -- Samuel Mimram <smimram at debian.org>  Tue, 13 Feb 2007 13:23:18 +0000
+
 coq-doc (8.1~gamma-2) experimental; urgency=low
 
   * Correctly install html documentation, closes: #407117.

Modified: trunk/packages/coq-doc/trunk/debian/control
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-doc/trunk/debian/control?rev=3553&op=diff
==============================================================================
--- trunk/packages/coq-doc/trunk/debian/control (original)
+++ trunk/packages/coq-doc/trunk/debian/control Tue Feb 13 15:16:10 2007
@@ -4,7 +4,7 @@
 Maintainer: Samuel Mimram <smimram at debian.org>
 Standards-Version: 3.7.2
 Build-Depends: debhelper (>= 4.0.0), dpatch
-Build-Depends-Indep: tetex-bin, hevea (>= 1.05), coq (>= 8.1~gamma)
+Build-Depends-Indep: tetex-bin, hevea (>= 1.05), coq (>= 8.1)
 XS-Vcs-Svn: svn://svn.debian.org/svn/pkg-ocaml-maint/trunk/packages/coq-doc
 
 Package: coq-doc

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

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