../ debian-edu-router-config_2.12.7_all.deb 02-Aug-2023 18:41 63620 debian-edu-router-deployserver_2.12.7_all.deb 02-Aug-2023 18:24 9584 debian-edu-router-fai_2.12.7_all.deb 02-Aug-2023 18:20 52356