../ debian-installer/ 11-May-2020 17:46 - mini.iso 11-May-2020 17:46 54382592 netboot.tar.gz 11-May-2020 17:46 30622531