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