portsurvey log for http://gnu.ethz.ch

> http://gnu.ethz.ch/linuks.mine.nu/modplugplay/ ok
> http://gnu.ethz.ch/linuks.mine.nu/modplugplay/modplugplay-1.0.tar.gz ok
> http://gnu.ethz.ch/linuks.mine.nu/ree/ ok
> http://gnu.ethz.ch/linuks.mine.nu/ree/ree-1.3.tar.gz ok
> http://gnu.ethz.ch/repository/digibux/digibux_1.0.4+CVS20060118.orig.tar.gz ok