wget-udeb extra universe/debian-installer