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 17:09 684 debian-9.5.0-mips-netinst.list.gz 2018-07-14 16:44 5.6K debian-9.5.0-mips-xfce-CD-1.list.gz 2018-07-14 16:45 12K