../ debian-edu-router-config_2.12.8_all.deb 26-Oct-2023 19:35 72528 debian-edu-router-deployserver_2.12.8_all.deb 26-Oct-2023 19:35 10026 debian-edu-router-fai_2.12.8_all.deb 26-Oct-2023 19:35 54664