debian-edu-install-udeb_2.13.1_all.udeb
debian-edu-install_2.13.1.dsc
debian-edu-install_2.13.1.tar.xz
debian-edu-install_2.13.1_all.deb
debian-edu-profile-udeb_2.13.1_all.udeb