[Pkg-ocaml-maint-commits] r4922 - in /trunk/packages/why/trunk/debian: changelog control

[smimram at users.alioth.debian.org]

Author: smimram
Date: Sat Dec 22 00:21:56 2007
New Revision: 4922

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

Modified:
    trunk/packages/why/trunk/debian/changelog
    trunk/packages/why/trunk/debian/control

Modified: trunk/packages/why/trunk/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/why/trunk/debian/changelog?rev=4922&op=diff
==============================================================================
--- trunk/packages/why/trunk/debian/changelog (original)
+++ trunk/packages/why/trunk/debian/changelog Sat Dec 22 00:21:56 2007
@@ -1,3 +1,9 @@
+why (2.04.dfsg-4) unstable; urgency=low
+
+  * Rebuild with latest version of coq.
+
+ -- Samuel Mimram <smimram at debian.org>  Sat, 22 Dec 2007 01:19:44 +0100
+
 why (2.04.dfsg-3) unstable; urgency=low
 
   * Rebuild with OCaml 3.10.

Modified: trunk/packages/why/trunk/debian/control
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/why/trunk/debian/control?rev=4922&op=diff
==============================================================================
--- trunk/packages/why/trunk/debian/control (original)
+++ trunk/packages/why/trunk/debian/control Sat Dec 22 00:21:56 2007
@@ -2,8 +2,8 @@
 Section: math
 Priority: optional
 Maintainer: Samuel Mimram <smimram at debian.org>
-Build-Depends: debhelper (>= 5), autotools-dev, ocaml-nox (>= 3.10), camlp4, liblablgtk2-ocaml-dev, coq (>= 8.1.pl1+dfsg-3), libfloat-coq (>= 1:8.1-1.0-2), ocamlweb
-Standards-Version: 3.7.2
+Build-Depends: debhelper (>= 5), autotools-dev, ocaml-nox (>= 3.10), camlp4, liblablgtk2-ocaml-dev, coq (>= 8.1.pl2+dfsg-3), libfloat-coq (>= 1:8.1-1.0-2), ocamlweb
+Standards-Version: 3.7.3
 
 Package: why
 Architecture: any