../ edubuntu-server-client_15.01build1_all.deb 24-Apr-2018 13:57 5874 edubuntu-server-container_15.01build1_all.deb 24-Apr-2018 14:14 1616 edubuntu-server-host_15.01build1_all.deb 24-Apr-2018 14:28 13854 edubuntu-server-manager_15.01build1_all.deb 24-Apr-2018 14:10 31384