../ debian-edu-config_1.702.dsc 02-Dec-2012 11:25 1274 debian-edu-config_1.702.tar.gz 02-Dec-2012 11:25 474598 debian-edu-config_1.702_all.deb 02-Dec-2012 11:25 392410