X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhelmpot%2Fdebian%2Fcontrol;h=46cf68d998bd98f3188b28a2dab69a4b9d818264;hb=89262281b6e83bd2321150f81f1a0583645eb0c8;hp=4848ab013b87c1b51130d2d75fbbba2d0f185de8;hpb=9b4848ba7345ca00f91e102b19eeb8e59c660a41;p=helm.git diff --git a/helm/helmpot/debian/control b/helm/helmpot/debian/control index 4848ab013..46cf68d99 100644 --- a/helm/helmpot/debian/control +++ b/helm/helmpot/debian/control @@ -3,7 +3,7 @@ Section: misc Priority: optional 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