X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhelmpot%2Fdebian%2Fcontrol;h=5deb9e0b495a52d38cfdf22da5441b8084ad4ddd;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=bc1c4cd76ee7d5f521bca1ca8563bbf8eaf63808;hpb=6137944a65baee76f7ab09a925e91e0edb3bdcce;p=helm.git diff --git a/helm/helmpot/debian/control b/helm/helmpot/debian/control index bc1c4cd76..5deb9e0b4 100644 --- a/helm/helmpot/debian/control +++ b/helm/helmpot/debian/control @@ -1,13 +1,13 @@ Source: helmpot -Section: unknown +Section: misc Priority: optional -Maintainer: Luca Padovani -Build-Depends: debhelper (>> 2.0.0), libgtkmathview-dev -Standards-Version: 3.0.1 +Maintainer: Stefano Zacchiroli +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).