../ edubuntu-server-client_15.01build1_all.deb 11-May-2017 04:53 5814 edubuntu-server-container_15.01build1_all.deb 11-May-2017 04:53 1566 edubuntu-server-host_15.01build1_all.deb 11-May-2017 04:53 13654 edubuntu-server-manager_15.01build1_all.deb 11-May-2017 04:53 31610