../ debian-installer/ 12-Jul-2020 17:49 - mini.iso 12-Jul-2020 17:49 38M netboot.tar.gz 12-Jul-2020 17:49 26M