../ debian-edu-config_0.415.dsc 23-Oct-2007 19:05 862 debian-edu-config_0.415.tar.gz 23-Oct-2007 19:05 276849 debian-edu-config_0.415_all.deb 27-Oct-2007 10:03 247054