portsurvey log for http://dvisvg.sourceforge.net

> http://dvisvg.sourceforge.net/ ok
> http://dvisvg.sourceforge.net/files/dvisvg-0.7.1d.tar.gz ok