../ debian-edu-install_1.720+deb7u1.dsc 05-Oct-2013 20:01 2219 debian-edu-install_1.720+deb7u1.tar.gz 05-Oct-2013 20:01 171728 debian-edu-install_1.720+deb7u1_all.deb 05-Oct-2013 20:01 54044