../ debian-installer/ 15-May-2023 10:33 - mini.iso 15-May-2023 10:33 79130624 netboot.tar.gz 15-May-2023 10:33 33728376