../ debian-installer/ 10-Feb-2020 13:23 - mini.iso 10-Feb-2020 13:23 54274048 netboot.tar.gz 10-Feb-2020 13:23 30511583