portsurvey log for http://para.inria.fr

> http://para.inria.fr/~maranget/hevea/ ok
> http://para.inria.fr/~maranget/hevea/distri/hevea-1.10-manual.pdf ok
> http://para.inria.fr/~maranget/hevea/distri/hevea-1.10-manual.ps.gz ok
> http://para.inria.fr/~maranget/hevea/distri/hevea-1.10-manual.tar.gz ok
> http://para.inria.fr/~maranget/hevea/distri/hevea-1.10.tar.gz ok