X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=DEVEL%2Flablgtkmathview%2Fdebian%2Fcontrol;h=2be2bda8cd33990de38c3f86181a241380cef57d;hb=7cb659c0af2d665c649f87922be02eccde795542;hp=e52875552349116edf107b5bab697248ba519745;hpb=d17988855a2e85dc2db641d11ce481c266038ef3;p=helm.git diff --git a/DEVEL/lablgtkmathview/debian/control b/DEVEL/lablgtkmathview/debian/control index e52875552..2be2bda8c 100644 --- a/DEVEL/lablgtkmathview/debian/control +++ b/DEVEL/lablgtkmathview/debian/control @@ -2,8 +2,8 @@ Source: lablgtkmathview Section: devel Priority: optional Maintainer: Stefano Zacchiroli -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 +Build-Depends: debhelper (>> 4.0.0), 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 +Standards-Version: 3.7.2 Package: liblablgtkmathview-ocaml Architecture: any