thanks for alerting us of the problem.
Jochen Peters wrote:
> some problems with your webserver?
> Just a "it work's" site not ideal. (22:37 Germany)
search.debian.org had been a placeholder (saying "use google") for
years. About 10 months ago I started search.debian.net to operate as the
new Debian search. That had to move hosts lately, and search.debian.org
already points to the new location but the service has not quite arrived
I apologize for the inconvenience.
Thomas Viehmann, http://thomas.viehmann.net/