../ edubuntu-server-client_15.01build1_all.deb 28-May-2020 21:43 5874 edubuntu-server-container_15.01build1_all.deb 28-May-2020 21:27 1616 edubuntu-server-host_15.01build1_all.deb 28-May-2020 21:26 13854 edubuntu-server-manager_15.01build1_all.deb 28-May-2020 21:42 31384