X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fhelmpot%2Fdebian%2Fcontrol;h=46cf68d998bd98f3188b28a2dab69a4b9d818264;hb=89262281b6e83bd2321150f81f1a0583645eb0c8;hp=bc1c4cd76ee7d5f521bca1ca8563bbf8eaf63808;hpb=6137944a65baee76f7ab09a925e91e0edb3bdcce;p=helm.git diff --git a/helm/helmpot/debian/control b/helm/helmpot/debian/control index bc1c4cd76..46cf68d99 100644 --- a/helm/helmpot/debian/control +++ b/helm/helmpot/debian/control @@ -1,9 +1,9 @@ Source: helmpot -Section: unknown +Section: misc Priority: optional -Maintainer: Luca Padovani +Maintainer: Stefano Zacchiroli Build-Depends: debhelper (>> 2.0.0), libgtkmathview-dev -Standards-Version: 3.0.1 +Standards-Version: 3.5.2 Package: helmpot Architecture: any