[Pkg-ocaml-maint-commits] r4790 - in /trunk/packages/coq-float/trunk/debian: changelog control
smimram at users.alioth.debian.org
smimram at users.alioth.debian.org
Sun Nov 18 22:01:34 UTC 2007
Author: smimram
Date: Sun Nov 18 22:01:33 2007
New Revision: 4790
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=4790
Log:
Rebuild with latest 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=4790&op=diff
==============================================================================
--- trunk/packages/coq-float/trunk/debian/changelog (original)
+++ trunk/packages/coq-float/trunk/debian/changelog Sun Nov 18 22:01:33 2007
@@ -1,3 +1,9 @@
+coq-float (1:8.1-1.0-3) unstable; urgency=low
+
+ * Rebuild with latest coq.
+
+ -- Samuel Mimram <smimram at debian.org> Sun, 18 Nov 2007 19:21:44 +0000
+
coq-float (1:8.1-1.0-2) unstable; urgency=low
* Rebuild with latest version of coq.
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=4790&op=diff
==============================================================================
--- trunk/packages/coq-float/trunk/debian/control (original)
+++ trunk/packages/coq-float/trunk/debian/control Sun Nov 18 22:01:33 2007
@@ -2,7 +2,7 @@
Section: libdevel
Priority: optional
Maintainer: Samuel Mimram <smimram at debian.org>
-Build-Depends: debhelper (>= 5), coq (>= 8.1.pl1+dfsg-3)
+Build-Depends: debhelper (>= 5), coq (>= 8.1.pl2)
Standards-Version: 3.7.2
Package: libfloat-coq
More information about the Pkg-ocaml-maint-commits
mailing list