../ debian-edu-router-config_2.12.8~deb12u1_all.deb 10-Dec-2023 21:23 69640 debian-edu-router-deployserver_2.12.8~deb12u1_a..> 10-Dec-2023 19:48 9888 debian-edu-router-fai_2.12.8~deb12u1_all.deb 10-Dec-2023 21:17 52676