]> matita.cs.unibo.it Git - helm.git/commitdiff
ocaml 3.08.3 commit
authorStefano Zacchiroli <zack@upsilon.cc>
Sat, 11 Jun 2005 10:36:47 +0000 (10:36 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sat, 11 Jun 2005 10:36:47 +0000 (10:36 +0000)
helm/DEVEL/lablgtkmathview/debian/changelog
helm/DEVEL/lablgtkmathview/debian/control
helm/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml-dev.dirs
helm/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml.dirs
helm/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml.install

index 2705c2755fd8204655953c22ed29503693fc3a02..d5c67e6d17ce4a9650b29042b577b1c8d298040c 100644 (file)
@@ -1,3 +1,9 @@
+lablgtkmathview (0.6.4-3) unstable; urgency=low
+
+  * rebuilt with ocaml 3.08.3 and lablgtk2 2.4.0+2005.02.18
+
+ -- Stefano Zacchiroli <zack@debian.org>  Tue, 29 Mar 2005 10:43:44 +0200
+
 lablgtkmathview (0.6.4-2) unstable; urgency=low
 
   * rebuilt with ocaml 3.08.2 and lablgtk2 2.4.0+2004.11.19-1
index e2d76d405b7ce4025e90f32f038eaa8e9ecaa589..8bd91b593f7ebe007b4239997ea71f51ae26b7a9 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-3.08, ocaml (>= 3.08.2), ocaml-findlib, liblablgtk2-ocaml-dev (>= 2.4.0+2004.11.19-1), libgdome2-ocaml-dev (>= 0.2.1-3), libgtkmathview-dev (>= 0.6.4), pkg-config, autoconf
+Build-Depends: debhelper (>> 4.0.0), ocaml-3.08.3, ocaml-findlib, liblablgtk2-ocaml-dev (>= 2.4.0+2005.02.18-1), libgdome2-ocaml-dev (>= 0.2.1-3), libgtkmathview-dev (>= 0.6.4), pkg-config, autoconf
 Standards-Version: 3.6.1.1
 
 Package: liblablgtkmathview-ocaml
 Architecture: any
 Section: libs
-Depends: ocaml-base-nox-3.08, liblablgtk2-ocaml (>= 2.4.0), libgdome2-ocaml (>= 0.2.1-3), ${shlibs:Depends}, ${misc:Depends}
+Depends: ocaml-base-nox-3.08.3, liblablgtk2-ocaml (>= 2.4.0), libgdome2-ocaml (>= 0.2.1-3), ${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-3.08, liblablgtk2-ocaml-dev (>= 2.4.0), libgtkmathview0 (>= 0.6.4), liblablgtkmathview-ocaml (= ${Source-Version}), ocaml-findlib, libgdome2-ocaml-dev (>= 0.2.1-3), libgtkmathview-dev (>= 0.6.4), ${misc:Depends}
+Depends: ocaml-3.08.3, liblablgtk2-ocaml-dev (>= 2.4.0), libgtkmathview0 (>= 0.6.4), liblablgtkmathview-ocaml (= ${Source-Version}), ocaml-findlib, libgdome2-ocaml-dev (>= 0.2.1-3), libgtkmathview-dev (>= 0.6.4), ${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 7e66c4fb53a41e00ecb0dd007935df521a7a3c0a..42f46918ee407b9386b524e5e7631a2dacf9dd39 100644 (file)
@@ -1,2 +1,2 @@
-usr/lib/ocaml/3.08
-usr/lib/ocaml/3.08/stublibs
+usr/lib/ocaml/3.08.3
+usr/lib/ocaml/3.08.3/stublibs
index f552f091a2effa1c6455bdc70b5a38943b020374..8646e27b278afe5068f37570928d7d94a058144f 100644 (file)
@@ -1 +1 @@
-usr/lib/ocaml/3.08
+usr/lib/ocaml/3.08.3
index 6657f706e93d7fd5edfadb186e78681d49809f60..1c1d5d626126b248c84e0e9f9f0cfce4ec77631f 100644 (file)
@@ -1,2 +1,2 @@
-usr/lib/ocaml/3.08/lablgtkmathview/*.so
-usr/lib/ocaml/3.08/stublibs/*
+usr/lib/ocaml/3.08.3/lablgtkmathview/*.so
+usr/lib/ocaml/3.08.3/stublibs/*