X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhelmpot%2Fdebian%2Fcontrol;h=5deb9e0b495a52d38cfdf22da5441b8084ad4ddd;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=46cf68d998bd98f3188b28a2dab69a4b9d818264;hpb=84c5df4b2c8d312054d4343fa706c7cfed5579e6;p=helm.git diff --git a/helm/helmpot/debian/control b/helm/helmpot/debian/control index 46cf68d99..5deb9e0b4 100644 --- a/helm/helmpot/debian/control +++ b/helm/helmpot/debian/control @@ -2,12 +2,12 @@ Source: helmpot Section: misc Priority: optional Maintainer: Stefano Zacchiroli -Build-Depends: debhelper (>> 2.0.0), libgtkmathview-dev -Standards-Version: 3.5.2 +Build-Depends: debhelper (>> 4.0.0), libgtkmathview-dev, pkg-config +Standards-Version: 3.5.10 Package: helmpot Architecture: any -Depends: ${shlibs:Depends} +Depends: ${shlibs:Depends}, ${misc:Depends} Description: A minimal browser for the HELM library. 'helmpot' is a minimal browser, in the form of a plug-out, for browsing the HELM library (MathML presentation).