X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=DEVEL%2Flablgtkmathview%2Fdebian%2Fcontrol;h=caafcb1f7e622cc962c22cae95ac0ab02cf47596;hb=5d97afc463c2d0536fedf630635acbbed4cce722;hp=7ec8d0dfbdc0135b046f7d1184ffc64e587abe98;hpb=5a567c67b84b68ab3f75531a2b018bafcba08d4f;p=helm.git diff --git a/DEVEL/lablgtkmathview/debian/control b/DEVEL/lablgtkmathview/debian/control index 7ec8d0dfb..caafcb1f7 100644 --- a/DEVEL/lablgtkmathview/debian/control +++ b/DEVEL/lablgtkmathview/debian/control @@ -2,7 +2,7 @@ Source: lablgtkmathview Section: devel Priority: optional Maintainer: Stefano Zacchiroli -Build-Depends: debhelper (>> 4.0.0), cdbs, ocaml-nox (>= 3.09.2), 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 (>> 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 Standards-Version: 3.7.2 XS-X-Vcs-Svn: svn://mowgli.cs.unibo.it/trunk/helm/software/DEVEL/lablgtkmathview