With packages.debian.org down, how can I find out which packages contain certain files? I need to get: libcrypt3.so.2 libstdc++-libc6.2-2.so.3 libssl.so.2 libXm.so.3 But can't figure out where they are. Thanks.