portsurvey log for http://www.mathematik.uni-marburg.de

> http://www.mathematik.uni-marburg.de/~schmidtm/pkg_search/ ok
> http://www.mathematik.uni-marburg.de/~schmidtm/pkg_search/pkg_search-1.2.tar.gz ok