Name Last modified Size Description Parent Directory - debian-cd_info.tar.gz 07-Apr-2017 22:08 904K initrd.gz 07-Apr-2017 22:08 26M exec.static 25-May-2017 13:21 1.1M ext2fs.static 25-May-2017 13:21 1.6M gnumach.gz 25-May-2017 13:21 568K