[Pkg-ocaml-maint-commits] r4495 - in /trunk/packages/why/trunk/debian: changelog control
smimram at users.alioth.debian.org
smimram at users.alioth.debian.org
Mon Sep 10 18:10:25 UTC 2007
Author: smimram
Date: Mon Sep 10 18:10:24 2007
New Revision: 4495
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=4495
Log:
Rebuild with OCaml 3.10.
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=4495&op=diff
==============================================================================
--- trunk/packages/why/trunk/debian/changelog (original)
+++ trunk/packages/why/trunk/debian/changelog Mon Sep 10 18:10:24 2007
@@ -1,3 +1,10 @@
+why (2.04.dfsg-3) unstable; urgency=low
+
+ * Rebuild with OCaml 3.10.
+ * Build-depend on camlp4, closes: #441500.
+
+ -- Samuel Mimram <smimram at debian.org> Mon, 10 Sep 2007 10:08:10 +0200
+
why (2.04.dfsg-2) unstable; urgency=low
* Build-depend on libfloat-coq and enable float support, closes: #430878.
Modified: trunk/packages/why/trunk/debian/control
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/why/trunk/debian/control?rev=4495&op=diff
==============================================================================
--- trunk/packages/why/trunk/debian/control (original)
+++ trunk/packages/why/trunk/debian/control Mon Sep 10 18:10:24 2007
@@ -2,7 +2,7 @@
Section: math
Priority: optional
Maintainer: Samuel Mimram <smimram at debian.org>
-Build-Depends: debhelper (>= 5), autotools-dev, ocaml-nox, liblablgtk2-ocaml-dev, coq, libfloat-coq (>= 1:8.1-1.0), ocamlweb
+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
Package: why
More information about the Pkg-ocaml-maint-commits
mailing list