../ debian-edu-router-config_2.12.8_all.deb 11-Sep-2023 11:35 69536 debian-edu-router-deployserver_2.12.8_all.deb 11-Sep-2023 11:35 9828 debian-edu-router-fai_2.12.8_all.deb 11-Sep-2023 11:35 52560