[Pkg-ocaml-maint-commits] r5022 - in /trunk/packages/coq/trunk/debian: changelog control watch

[smimram at users.alioth.debian.org]

Author: smimram
Date: Fri Jan  4 09:37:19 2008
New Revision: 5022

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=5022
Log:
Updated watch file.

Modified:
    trunk/packages/coq/trunk/debian/changelog
    trunk/packages/coq/trunk/debian/control
    trunk/packages/coq/trunk/debian/watch

Modified: trunk/packages/coq/trunk/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/debian/changelog?rev=5022&op=diff
==============================================================================
--- trunk/packages/coq/trunk/debian/changelog (original)
+++ trunk/packages/coq/trunk/debian/changelog Fri Jan  4 09:37:19 2008
@@ -5,8 +5,9 @@
 
   [ Samuel Mimram ]
   * New upstream release.
-
- -- Samuel Mimram <smimram at debian.org>  Thu, 03 Jan 2008 16:25:43 +0000
+  * Updated watch file.
+
+ -- Samuel Mimram <smimram at debian.org>  Thu, 03 Jan 2008 17:30:39 +0000
 
 coq (8.1.pl2+dfsg-3) unstable; urgency=low
 

Modified: trunk/packages/coq/trunk/debian/control
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/debian/control?rev=5022&op=diff
==============================================================================
--- trunk/packages/coq/trunk/debian/control (original)
+++ trunk/packages/coq/trunk/debian/control Fri Jan  4 09:37:19 2008
@@ -3,7 +3,7 @@
 Priority: optional
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
 Uploaders: Ralf Treinen <treinen at debian.org>, Remi Vanicat <vanicat at debian.org>, Stefano Zacchiroli <zack at debian.org>, Samuel Mimram <smimram at debian.org>
-Standards-Version: 3.7.2
+Standards-Version: 3.7.3
 Build-Depends: debhelper (>= 4.0.0), dpkg-dev (>= 1.13.19), dpatch, ocaml-nox (>= 3.10), ocaml-best-compilers, camlp5, liblablgtk2-ocaml-dev (>= 2.4.0), texlive-latex-extra, hevea
 Vcs-Svn: svn://svn.debian.org/svn/pkg-ocaml-maint/trunk/packages/coq/trunk
 Vcs-Browser: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/

Modified: trunk/packages/coq/trunk/debian/watch
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/debian/watch?rev=5022&op=diff
==============================================================================
--- trunk/packages/coq/trunk/debian/watch (original)
+++ trunk/packages/coq/trunk/debian/watch Fri Jan  4 09:37:19 2008
@@ -1,2 +1,4 @@
 version=3
-ftp://ftp.inria.fr/INRIA/coq/current/coq-([0-9a-z\.]*)\.tar\.gz debian uupdate
+
+opts=uversionmangle=s/pl/.pl/,dversionmangle=s/\+dfsg\d*$// \
+        http://coq.inria.fr/distrib1-eng.html .*/files/coq-([0-9a-z\.]*)\.tar\.gz