X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhelmpot%2Fdebian%2Ffiles;h=ef3f006abf73042c08849acf27d1c43dd614d0cf;hb=refs%2Ftags%2Fv0_0_4;hp=5675b566098545d08512539bce325f720499e5fc;hpb=6137944a65baee76f7ab09a925e91e0edb3bdcce;p=helm.git

diff --git a/helm/helmpot/debian/files b/helm/helmpot/debian/files
index 5675b5660..ef3f006ab 100644
--- a/helm/helmpot/debian/files
+++ b/helm/helmpot/debian/files
@@ -1 +1 @@
-helmpot_0.0.1-1_i386.deb unknown optional
+helmpot_0.0.3-1_i386.deb unknown optional