The search facility corresponding to http://www.debian.org/CD/faq/#search-for-package
seems broken. Ditto for the other url listed below, namely http://atterer.org/jigdo/jigdo-search.php?list
Regards, Faheem