From: Stefano Zacchiroli Date: Sun, 8 Jan 2006 00:31:58 +0000 (+0000) Subject: ported to ocaml 3.09.1 X-Git-Tag: make_still_working~7902 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=8f031438f3ef438a141808473fd0ce4d9ec6730c;hp=abaf6d7686aa3afe2917ae428cbd796022e69d49;p=helm.git ported to ocaml 3.09.1 --- diff --git a/helm/DEVEL/lablgtksourceview/debian/changelog b/helm/DEVEL/lablgtksourceview/debian/changelog index c7f6efedf..60dc444de 100644 --- a/helm/DEVEL/lablgtksourceview/debian/changelog +++ b/helm/DEVEL/lablgtksourceview/debian/changelog @@ -1,3 +1,9 @@ +lablgtksourceview (0.0.1-3) unstable; urgency=low + + * Rebuilt against OCaml 3.09.1, bumped deps accordingly. + + -- Stefano Zacchiroli Sun, 8 Jan 2006 01:30:23 +0100 + lablgtksourceview (0.0.1-2) unstable; urgency=low * rebuilt with ocaml 3.09 diff --git a/helm/DEVEL/lablgtksourceview/debian/control b/helm/DEVEL/lablgtksourceview/debian/control index ab0ca84d5..dd06052bb 100644 --- a/helm/DEVEL/lablgtksourceview/debian/control +++ b/helm/DEVEL/lablgtksourceview/debian/control @@ -2,13 +2,13 @@ Source: lablgtksourceview Section: devel Priority: optional Maintainer: Stefano Zacchiroli -Build-Depends: debhelper (>= 4.1.0), cdbs, ocaml-findlib, ocaml-nox (>= 3.09.0), liblablgtk2-ocaml-dev (>= 2.6.0), libgtksourceview-dev (>= 1.2.0) +Build-Depends: debhelper (>= 4.1.0), cdbs, ocaml-findlib, ocaml-nox (>= 3.09.1), liblablgtk2-ocaml-dev (>= 2.6.0-2), libgtksourceview-dev (>= 1.2.0) Standards-Version: 3.6.2 Package: liblablgtksourceview-ocaml-dev Architecture: any Section: libdevel -Depends: ocaml-nox-${F:OCamlABI}, ocaml-findlib, liblablgtksourceview-ocaml (= ${Source-Version}), liblablgtk2-ocaml-dev (>= 2.6.0), libgtksourceview-dev (>= 1.2.0), ${misc:Depends} +Depends: ocaml-nox-${F:OCamlABI}, ocaml-findlib, liblablgtksourceview-ocaml (= ${Source-Version}), liblablgtk2-ocaml-dev (>= 2.6.0-2), libgtksourceview-dev (>= 1.2.0), ${misc:Depends} Description: OCaml bindings for libgtksourceview, a source editor GTK widget This is the OCaml binding for the GtkSourceView widget, a text widget that extends the standard gtk+ 2.x text widget with syntax highlighting and other @@ -19,7 +19,7 @@ Description: OCaml bindings for libgtksourceview, a source editor GTK widget Package: liblablgtksourceview-ocaml Architecture: any Section: libs -Depends: ocaml-base-nox-${F:OCamlABI}, liblablgtk2-ocaml (>= 2.6.0), ${shlibs:Depends}, ${misc:Depends} +Depends: ocaml-base-nox-${F:OCamlABI}, liblablgtk2-ocaml (>= 2.6.0-2), ${shlibs:Depends}, ${misc:Depends} Description: OCaml bindings for libgtksourceview, a source editor GTK widget This is the OCaml binding for the GtkSourceView widget, a text widget that extends the standard gtk+ 2.x text widget with syntax highlighting and other diff --git a/helm/DEVEL/lablgtksourceview/debian/control.in b/helm/DEVEL/lablgtksourceview/debian/control.in index 6cd1f42b1..e87aaa957 100644 --- a/helm/DEVEL/lablgtksourceview/debian/control.in +++ b/helm/DEVEL/lablgtksourceview/debian/control.in @@ -2,13 +2,13 @@ Source: lablgtksourceview Section: devel Priority: optional Maintainer: Stefano Zacchiroli -Build-Depends: debhelper (>= 4.1.0), cdbs, ocaml-findlib, ocaml-nox (>= @OCamlABI@), liblablgtk2-ocaml-dev (>= 2.6.0), libgtksourceview-dev (>= 1.2.0) +Build-Depends: debhelper (>= 4.1.0), cdbs, ocaml-findlib, ocaml-nox (>= @OCamlABI@), liblablgtk2-ocaml-dev (>= 2.6.0-2), libgtksourceview-dev (>= 1.2.0) Standards-Version: 3.6.2 Package: liblablgtksourceview-ocaml-dev Architecture: any Section: libdevel -Depends: ocaml-nox-${F:OCamlABI}, ocaml-findlib, liblablgtksourceview-ocaml (= ${Source-Version}), liblablgtk2-ocaml-dev (>= 2.6.0), libgtksourceview-dev (>= 1.2.0), ${misc:Depends} +Depends: ocaml-nox-${F:OCamlABI}, ocaml-findlib, liblablgtksourceview-ocaml (= ${Source-Version}), liblablgtk2-ocaml-dev (>= 2.6.0-2), libgtksourceview-dev (>= 1.2.0), ${misc:Depends} Description: OCaml bindings for libgtksourceview, a source editor GTK widget This is the OCaml binding for the GtkSourceView widget, a text widget that extends the standard gtk+ 2.x text widget with syntax highlighting and other @@ -19,7 +19,7 @@ Description: OCaml bindings for libgtksourceview, a source editor GTK widget Package: liblablgtksourceview-ocaml Architecture: any Section: libs -Depends: ocaml-base-nox-${F:OCamlABI}, liblablgtk2-ocaml (>= 2.6.0), ${shlibs:Depends}, ${misc:Depends} +Depends: ocaml-base-nox-${F:OCamlABI}, liblablgtk2-ocaml (>= 2.6.0-2), ${shlibs:Depends}, ${misc:Depends} Description: OCaml bindings for libgtksourceview, a source editor GTK widget This is the OCaml binding for the GtkSourceView widget, a text widget that extends the standard gtk+ 2.x text widget with syntax highlighting and other diff --git a/helm/DEVEL/lablgtksourceview/debian/liblablgtksourceview-ocaml-dev.install b/helm/DEVEL/lablgtksourceview/debian/liblablgtksourceview-ocaml-dev.install index a85b1ed81..b4f781202 100644 --- a/helm/DEVEL/lablgtksourceview/debian/liblablgtksourceview-ocaml-dev.install +++ b/helm/DEVEL/lablgtksourceview/debian/liblablgtksourceview-ocaml-dev.install @@ -1,7 +1,7 @@ -debian/tmp/lablgtksourceview/*.a usr/lib/ocaml/3.09.0/lablgtksourceview/ -debian/tmp/lablgtksourceview/*.cma usr/lib/ocaml/3.09.0/lablgtksourceview/ -debian/tmp/lablgtksourceview/*.cmi usr/lib/ocaml/3.09.0/lablgtksourceview/ -debian/tmp/lablgtksourceview/*.cmxa usr/lib/ocaml/3.09.0/lablgtksourceview/ -debian/tmp/lablgtksourceview/META usr/lib/ocaml/3.09.0/lablgtksourceview/ -debian/tmp/lablgtksourceview/*.mli usr/lib/ocaml/3.09.0/lablgtksourceview/ -debian/tmp/lablgtksourceview/*.o usr/lib/ocaml/3.09.0/lablgtksourceview/ +debian/tmp/lablgtksourceview/*.a usr/lib/ocaml/3.09.1/lablgtksourceview/ +debian/tmp/lablgtksourceview/*.cma usr/lib/ocaml/3.09.1/lablgtksourceview/ +debian/tmp/lablgtksourceview/*.cmi usr/lib/ocaml/3.09.1/lablgtksourceview/ +debian/tmp/lablgtksourceview/*.cmxa usr/lib/ocaml/3.09.1/lablgtksourceview/ +debian/tmp/lablgtksourceview/META usr/lib/ocaml/3.09.1/lablgtksourceview/ +debian/tmp/lablgtksourceview/*.mli usr/lib/ocaml/3.09.1/lablgtksourceview/ +debian/tmp/lablgtksourceview/*.o usr/lib/ocaml/3.09.1/lablgtksourceview/ diff --git a/helm/DEVEL/lablgtksourceview/debian/liblablgtksourceview-ocaml.install b/helm/DEVEL/lablgtksourceview/debian/liblablgtksourceview-ocaml.install index 8ece11add..335703867 100644 --- a/helm/DEVEL/lablgtksourceview/debian/liblablgtksourceview-ocaml.install +++ b/helm/DEVEL/lablgtksourceview/debian/liblablgtksourceview-ocaml.install @@ -1 +1 @@ -debian/tmp/lablgtksourceview/*.so usr/lib/ocaml/3.09.0/stublibs/ +debian/tmp/lablgtksourceview/*.so usr/lib/ocaml/3.09.1/stublibs/