../ debian-edu-router-config_2.12.6_all.deb 01-Jul-2023 15:39 63012 debian-edu-router-deployserver_2.12.6_all.deb 01-Jul-2023 15:39 9512 debian-edu-router-fai_2.12.6_all.deb 01-Jul-2023 15:39 52300