From: Enrico Tassi Date: Wed, 28 May 2008 10:11:11 +0000 (+0000) Subject: 0.5.1 X-Git-Tag: make_still_working~5117 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c51c5b1e6e002614f8f1fd79ddf94f706ef69cd5;p=helm.git 0.5.1 --- diff --git a/helm/www/matita/DEBIAN/Makefile b/helm/www/matita/DEBIAN/Makefile index bab4bf1bc..21723aa96 100644 --- a/helm/www/matita/DEBIAN/Makefile +++ b/helm/www/matita/DEBIAN/Makefile @@ -1,3 +1,3 @@ all: - dpkg-scanpackages . /dev/null | gzip > Packages.gz + dpkg-scanpackages -m . /dev/null | gzip > Packages.gz dpkg-scansources . /dev/null | gzip > Sources.gz diff --git a/helm/www/matita/FILES/matita_0.5.1.orig.tar.gz b/helm/www/matita/FILES/matita_0.5.1.orig.tar.gz new file mode 100644 index 000000000..cd99b804b Binary files /dev/null and b/helm/www/matita/FILES/matita_0.5.1.orig.tar.gz differ