]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/helmpot/debian/files
This commit was manufactured by cvs2svn to create tag 'v0_0_4'.
[helm.git] / helm / helmpot / debian / files
index 5675b566098545d08512539bce325f720499e5fc..ef3f006abf73042c08849acf27d1c43dd614d0cf 100644 (file)
@@ -1 +1 @@
-helmpot_0.0.1-1_i386.deb unknown optional
+helmpot_0.0.3-1_i386.deb unknown optional