Am Dienstag, 2. Dezember 2003 03:02 schrieb Chema: > Heya there. > > Now that packages.debian.org is down, I have found myself looking for > "which deb provides such file/library" a pair of times. Having resolved > the situation in unusual froms, I'm starting to miss packages.deb. > > Is there a mirror or equivalent search engine? > > Google shows that at least there where, but found no working one. Take a look at http://www.apt-get.org/search.php Tim