../ debian-installer/ 12-Jul-2020 19:49 - mini.iso 12-Jul-2020 19:49 42659840 netboot.tar.gz 12-Jul-2020 19:49 23760651