../ edubuntu-server-client_15.01build1_all.deb 22-Jul-2015 00:04 5874 edubuntu-server-container_15.01build1_all.deb 22-Jul-2015 00:04 1616 edubuntu-server-host_15.01build1_all.deb 22-Jul-2015 00:04 13854 edubuntu-server-manager_15.01build1_all.deb 22-Jul-2015 00:04 31384