X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fdownload%2Fhelena_0.8.2.tar.gz;h=0e8f3e0a40763232aa6a30a827d840090b1f64f8;hb=503426723b9fc786c69dc988d38726997ecb809a;hp=a184d5b3ef38c78166bff4ff8fda634a6d9d31d5;hpb=2c4b4aaa6f1490346823a26cba5dd965cab0cd02;p=helm.git

diff --git a/helm/www/lambdadelta/download/helena_0.8.2.tar.gz b/helm/www/lambdadelta/download/helena_0.8.2.tar.gz
index a184d5b3e..0e8f3e0a4 100644
Binary files a/helm/www/lambdadelta/download/helena_0.8.2.tar.gz and b/helm/www/lambdadelta/download/helena_0.8.2.tar.gz differ