]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/debian/control
debian: rebuilt against ocaml 3.08.2
[helm.git] / helm / DEVEL / lablgtkmathview / debian / control
index 2fcfdfe326d5eb811ff2e5137bc68ae662cfe54b..e2d76d405b7ce4025e90f32f038eaa8e9ecaa589 100644 (file)
@@ -2,7 +2,7 @@ Source: lablgtkmathview
 Section: devel
 Priority: optional
 Maintainer: Stefano Zacchiroli <zack@debian.org>
-Build-Depends: debhelper (>> 4.0.0), ocaml-3.08, ocaml-findlib, liblablgtk2-ocaml-dev (>= 2.4.0), libgdome2-ocaml-dev (>= 0.2.1-3), libgtkmathview-dev (>= 0.6.4), pkg-config, autoconf
+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
 Standards-Version: 3.6.1.1
 
 Package: liblablgtkmathview-ocaml