portsurvey log for http://staff.fmi.uni-passau.de

> http://staff.fmi.uni-passau.de/~groessli/hdoc/ ok
> http://staff.fmi.uni-passau.de/~groessli/hdoc/hdoc-0.8.3.tar.gz ok