From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 16 Jul 2007 13:31:55 +0000 (+0000)
Subject: * rebuild with OCaml 3.10
X-Git-Tag: 0.4.95@7852~336
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=44a147ec8c4ddee8a236e942661b525c0e160f74;p=helm.git

* rebuild with OCaml 3.10
* bump debhelper deps and compatibility level to 5
  - s/Source-Version/binary:Version
---

diff --git a/DEVEL/lablgtkmathview/debian/changelog b/DEVEL/lablgtkmathview/debian/changelog
index ff74d8d21..747d7dbd4 100644
--- a/DEVEL/lablgtkmathview/debian/changelog
+++ b/DEVEL/lablgtkmathview/debian/changelog
@@ -1,12 +1,13 @@
-lablgtkmathview (0.7.3-2) UNRELEASED; urgency=low
+lablgtkmathview (0.7.3-2) experimental; urgency=low
 
+  * rebuild with OCaml 3.10
   * debian/rules
     - use ocaml.mk cdbs class
+  * bump debhelper deps and compatibility level to 5
   * debian/control
-    - bumped build dependency on ocaml-nox to >= 3.09.3 since we now use
-      ocaml.mk
+    - s/Source-Version/binary:Version
 
- -- Stefano Zacchiroli <zack@debian.org>  Sun, 17 Sep 2006 15:39:26 +0200
+ -- Stefano Zacchiroli <zack@debian.org>  Mon, 16 Jul 2007 15:27:26 +0200
 
 lablgtkmathview (0.7.3-1) unstable; urgency=low
 
diff --git a/DEVEL/lablgtkmathview/debian/compat b/DEVEL/lablgtkmathview/debian/compat
index b8626c4cf..7ed6ff82d 100644
--- a/DEVEL/lablgtkmathview/debian/compat
+++ b/DEVEL/lablgtkmathview/debian/compat
@@ -1 +1 @@
-4
+5
diff --git a/DEVEL/lablgtkmathview/debian/control b/DEVEL/lablgtkmathview/debian/control
index caafcb1f7..dbf65f4ba 100644
--- a/DEVEL/lablgtkmathview/debian/control
+++ b/DEVEL/lablgtkmathview/debian/control
@@ -2,7 +2,7 @@ Source: lablgtkmathview
 Section: devel
 Priority: optional
 Maintainer: Stefano Zacchiroli <zack@debian.org>
-Build-Depends: debhelper (>> 4.0.0), cdbs, ocaml-nox (>= 3.09.3), ocaml-findlib (>= 1.1), liblablgtk2-ocaml-dev (>= 2.6.0-2), libgdome2-ocaml-dev (>= 0.2.3-5), libgtkmathview-dev (>= 0.7.5), pkg-config
+Build-Depends: debhelper (>> 5.0.0), cdbs, ocaml-nox (>= 3.10.0), ocaml-findlib (>= 1.1), liblablgtk2-ocaml-dev (>= 2.6.0-2), libgdome2-ocaml-dev (>= 0.2.3-5), libgtkmathview-dev (>= 0.7.5), pkg-config
 Standards-Version: 3.7.2
 XS-X-Vcs-Svn: svn://mowgli.cs.unibo.it/trunk/helm/software/DEVEL/lablgtkmathview
 
@@ -19,7 +19,7 @@ Description: OCaml bindings for libgtkmathview, a GTK widget to render MathML
 Package: liblablgtkmathview-ocaml-dev
 Architecture: any
 Section: libdevel
-Depends: ocaml-nox-${F:OCamlABI}, liblablgtk2-ocaml-dev (>= 2.6.0-2), liblablgtkmathview-ocaml (= ${Source-Version}), ocaml-findlib, libgdome2-ocaml-dev (>= 0.2.3-5), libgtkmathview-dev (>= 0.7.5), ${misc:Depends}
+Depends: ocaml-nox-${F:OCamlABI}, liblablgtk2-ocaml-dev (>= 2.6.0-2), liblablgtkmathview-ocaml (= ${binary:Version}), ocaml-findlib, libgdome2-ocaml-dev (>= 0.2.3-5), libgtkmathview-dev (>= 0.7.5), ${misc:Depends}
 Description: OCaml bindings for libgtkmathview, a GTK widget to render MathML
  These are the Ocaml bindings for the GtkMathView widget, that is
  currently available in the libgtkmathview0 package.