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

[smimram at users.alioth.debian.org]

Author: smimram
Date: Sat Jan 19 16:14:31 2008
New Revision: 5073

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=5073
Log:
Rebuild with latest version of coq.

Modified:
    trunk/packages/coq-float/trunk/debian/changelog
    trunk/packages/coq-float/trunk/debian/control

Modified: trunk/packages/coq-float/trunk/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-float/trunk/debian/changelog?rev=5073&op=diff
==============================================================================
--- trunk/packages/coq-float/trunk/debian/changelog (original)
+++ trunk/packages/coq-float/trunk/debian/changelog Sat Jan 19 16:14:31 2008
@@ -1,8 +1,12 @@
-coq-float (1:8.1-1.0-4) UNRELEASED; urgency=low
+coq-float (1:8.1-1.0-4) unstable; urgency=low
 
+  [ Stefano Zacchiroli ]
   * add vcs-* fields
 
- -- Stefano Zacchiroli <zack at debian.org>  Mon, 31 Dec 2007 16:46:06 +0100
+  [ Samuel Mimram ]
+  * Rebuild with latest version of coq.
+
+ -- Samuel Mimram <smimram at debian.org>  Sat, 19 Jan 2008 16:52:13 +0100
 
 coq-float (1:8.1-1.0-3) unstable; urgency=low
 

Modified: trunk/packages/coq-float/trunk/debian/control
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-float/trunk/debian/control?rev=5073&op=diff
==============================================================================
--- trunk/packages/coq-float/trunk/debian/control (original)
+++ trunk/packages/coq-float/trunk/debian/control Sat Jan 19 16:14:31 2008
@@ -2,8 +2,8 @@
 Section: libdevel
 Priority: optional
 Maintainer: Samuel Mimram <smimram at debian.org>
-Build-Depends: debhelper (>= 5), coq (>= 8.1.pl2)
-Standards-Version: 3.7.2
+Build-Depends: debhelper (>= 5), coq (>= 8.1.pl3)
+Standards-Version: 3.7.3
 Vcs-Browser: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-float/trunk/
 Vcs-Svn: svn://svn.debian.org/svn/pkg-ocaml-maint/trunk/packages/coq-float/trunk