]> matita.cs.unibo.it Git - helm.git/commitdiff
ported to ocaml 3.09.1
authorStefano Zacchiroli <zack@upsilon.cc>
Sun, 8 Jan 2006 00:22:53 +0000 (00:22 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sun, 8 Jan 2006 00:22:53 +0000 (00:22 +0000)
helm/DEVEL/lablgtkmathview/debian/changelog
helm/DEVEL/lablgtkmathview/debian/control
helm/DEVEL/lablgtkmathview/debian/control.in
helm/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml-dev.install

index c5e80350e50eeb79dbeb4e499c197c90182f8d98..91d791fc7cdabfeff01efe7c58f7b158894e17d2 100644 (file)
@@ -1,3 +1,9 @@
+lablgtkmathview (0.7.2-4) unstable; urgency=low
+
+  * Rebuilt against OCaml 3.09.1, bumped deps accordingly.
+
+ -- Stefano Zacchiroli <zack@debian.org>  Sun,  8 Jan 2006 01:21:17 +0100
+
 lablgtkmathview (0.7.2-3) unstable; urgency=low
 
   * rebuilt with ocaml 3.09
index 92dd81a1f6c53f8c8abd38667ac0e1aebbbbd54e..e52875552349116edf107b5bab697248ba519745 100644 (file)
@@ -2,13 +2,13 @@ Source: lablgtkmathview
 Section: devel
 Priority: optional
 Maintainer: Stefano Zacchiroli <zack@debian.org>
-Build-Depends: debhelper (>> 4.0.0), ocaml-nox (>= 3.09.0), ocaml-findlib (>= 1.1), liblablgtk2-ocaml-dev (>= 2.6.0), libgdome2-ocaml-dev (>= 0.2.3-3), libgtkmathview-dev (>= 0.7.5), pkg-config
+Build-Depends: debhelper (>> 4.0.0), ocaml-nox (>= 3.09.1), 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.6.2
 
 Package: liblablgtkmathview-ocaml
 Architecture: any
 Section: libs
-Depends: ocaml-base-nox-${F:OCamlABI}, liblablgtk2-ocaml (>= 2.6.0), libgdome2-ocaml (>= 0.2.3), libgtkmathview0c2a (>= 0.7.5), ${shlibs:Depends}, ${misc:Depends}
+Depends: ocaml-base-nox-${F:OCamlABI}, liblablgtk2-ocaml (>= 2.6.0-2), libgdome2-ocaml (>= 0.2.3-5), libgtkmathview0c2a (>= 0.7.5), ${shlibs:Depends}, ${misc:Depends}
 Description: OCaml bindings for libgtkmathview, a GTK widget to render MathML
  This is the Ocaml binding for the GtkMathView widget, that is
  currently available in the libgtkmathview0 package.
@@ -18,7 +18,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), liblablgtkmathview-ocaml (= ${Source-Version}), ocaml-findlib, libgdome2-ocaml-dev (>= 0.2.3-3), libgtkmathview-dev (>= 0.7.5), ${misc:Depends}
+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}
 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.
index aa5f9d1d2842961ca26714ecc4988ba6eac674e9..6d7d918699c510d84922620418cefea02ed2b405 100644 (file)
@@ -2,13 +2,13 @@ Source: lablgtkmathview
 Section: devel
 Priority: optional
 Maintainer: Stefano Zacchiroli <zack@debian.org>
-Build-Depends: debhelper (>> 4.0.0), ocaml-nox (>= @OCamlABI@), ocaml-findlib (>= 1.1), liblablgtk2-ocaml-dev (>= 2.6.0), libgdome2-ocaml-dev (>= 0.2.3-3), libgtkmathview-dev (>= 0.7.5), pkg-config
+Build-Depends: debhelper (>> 4.0.0), ocaml-nox (>= @OCamlABI@), 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.6.2
 
 Package: liblablgtkmathview-ocaml
 Architecture: any
 Section: libs
-Depends: ocaml-base-nox-${F:OCamlABI}, liblablgtk2-ocaml (>= 2.6.0), libgdome2-ocaml (>= 0.2.3), libgtkmathview0c2a (>= 0.7.5), ${shlibs:Depends}, ${misc:Depends}
+Depends: ocaml-base-nox-${F:OCamlABI}, liblablgtk2-ocaml (>= 2.6.0-2), libgdome2-ocaml (>= 0.2.3-5), libgtkmathview0c2a (>= 0.7.5), ${shlibs:Depends}, ${misc:Depends}
 Description: OCaml bindings for libgtkmathview, a GTK widget to render MathML
  This is the Ocaml binding for the GtkMathView widget, that is
  currently available in the libgtkmathview0 package.
@@ -18,7 +18,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), liblablgtkmathview-ocaml (= ${Source-Version}), ocaml-findlib, libgdome2-ocaml-dev (>= 0.2.3-3), libgtkmathview-dev (>= 0.7.5), ${misc:Depends}
+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}
 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.
index 79836154a26190c1c3562c2ba30c52c7a7cd0564..5a9f2278d89bc61c447dad72e35dc282f091028c 100644 (file)
@@ -1,7 +1,7 @@
-debian/tmp/usr/lib/ocaml/3.09.0/lablgtkmathview/*.a
-debian/tmp/usr/lib/ocaml/3.09.0/lablgtkmathview/*.cma
-debian/tmp/usr/lib/ocaml/3.09.0/lablgtkmathview/*.cmi
-debian/tmp/usr/lib/ocaml/3.09.0/lablgtkmathview/*.cmxa
-debian/tmp/usr/lib/ocaml/3.09.0/lablgtkmathview/META
-debian/tmp/usr/lib/ocaml/3.09.0/lablgtkmathview/*.ml
-debian/tmp/usr/lib/ocaml/3.09.0/lablgtkmathview/*.mli
+debian/tmp/usr/lib/ocaml/3.09.1/lablgtkmathview/*.a
+debian/tmp/usr/lib/ocaml/3.09.1/lablgtkmathview/*.cma
+debian/tmp/usr/lib/ocaml/3.09.1/lablgtkmathview/*.cmi
+debian/tmp/usr/lib/ocaml/3.09.1/lablgtkmathview/*.cmxa
+debian/tmp/usr/lib/ocaml/3.09.1/lablgtkmathview/META
+debian/tmp/usr/lib/ocaml/3.09.1/lablgtkmathview/*.ml
+debian/tmp/usr/lib/ocaml/3.09.1/lablgtkmathview/*.mli