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.