Index of /pub/linux/debian/ubuntu/ubuntu/pool/universe/e/edubuntu-menu/

../
edubuntu-menu_23.04.2.dsc                          30-Jan-2023 18:09                1313
edubuntu-menu_23.04.2.tar.xz                       30-Jan-2023 18:09               23532
edubuntu-menu_23.04.2_all.deb                      30-Jan-2023 18:09               24256