Index of /pub/gwdg/ubuntu/22.04/pool/main/g/gnome-menus/

../
gir1.2-gmenu-3.0_3.36.0-1ubuntu3_amd64.deb         24-Mar-2022 11:15                3738
gnome-menus_3.36.0-1ubuntu3_amd64.deb              24-Mar-2022 11:15               10346
libgnome-menu-3-0_3.36.0-1ubuntu3_amd64.deb        24-Mar-2022 11:15               44906
libgnome-menu-3-dev_3.36.0-1ubuntu3_amd64.deb      24-Mar-2022 11:15               57002