portsurvey log for http://www.daimi.au.dk

> http://www.daimi.au.dk/~mailund/dprog/ ok
> http://www.daimi.au.dk/~mailund/dprog/download/dprog-0.3.1.tar.gz ok