These are list files.
The list files here simply describe what files are contained in each Debian ISO image, in order to help users find which images they might want to download. They are simply text files, compressed to save space and download time.
See the Debian CD FAQ for lots more information about Debian CDs and installation.
The images here were put together by the Debian CD team , using debian-cd and other software.
Name Last modified Size DescriptionApache/2.4.25 (Debian) Server at mirror.checkdomain.de Port 443
Parent Directory - HEADER.html 2018-07-14 15:04 684 debian-update-9.5.0-armhf-DVD-2.list.gz 2018-07-14 14:44 6.3K debian-9.5.0-armhf-DVD-13.list.gz 2018-07-14 14:55 7.1K debian-update-9.5.0-armhf-DVD-1.list.gz 2018-07-14 14:42 13K debian-9.5.0-armhf-DVD-6.list.gz 2018-07-14 14:59 16K debian-9.5.0-armhf-DVD-5.list.gz 2018-07-14 14:59 24K debian-9.5.0-armhf-DVD-4.list.gz 2018-07-14 14:58 25K debian-9.5.0-armhf-DVD-3.list.gz 2018-07-14 14:57 26K debian-9.5.0-armhf-DVD-2.list.gz 2018-07-14 14:56 30K debian-9.5.0-armhf-DVD-7.list.gz 2018-07-14 15:00 40K debian-9.5.0-armhf-DVD-12.list.gz 2018-07-14 14:55 40K debian-9.5.0-armhf-DVD-8.list.gz 2018-07-14 15:01 41K debian-9.5.0-armhf-DVD-1.list.gz 2018-07-14 14:51 41K debian-9.5.0-armhf-DVD-9.list.gz 2018-07-14 15:02 54K debian-9.5.0-armhf-DVD-11.list.gz 2018-07-14 14:54 63K debian-9.5.0-armhf-DVD-10.list.gz 2018-07-14 14:52 82K