../ debian-edu-router-config_2.12.7_all.deb 15-May-2023 22:17 63620 debian-edu-router-deployserver_2.12.7_all.deb 15-May-2023 22:17 9584 debian-edu-router-fai_2.12.7_all.deb 15-May-2023 22:17 52356 debian-edu-router_2.12.7.dsc 15-May-2023 21:57 1920 debian-edu-router_2.12.7.tar.xz 15-May-2023 21:57 123972