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