../ 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 debian-edu-router_2.12.8.dsc 26-Oct-2023 15:39 1920 debian-edu-router_2.12.8.tar.xz 26-Oct-2023 15:39 130128