Index of /ubuntu-ports/pool/universe/g/gnome-shell-extension-arc-menu/

../
gnome-shell-extension-arc-menu_45-1.debian.tar.xz  30-Aug-2023 23:18                2056
gnome-shell-extension-arc-menu_45-1.dsc            30-Aug-2023 23:18                2145
gnome-shell-extension-arc-menu_45-1_all.deb        30-Aug-2023 23:18              251512
gnome-shell-extension-arc-menu_45.orig.tar.bz2     30-Aug-2023 23:18              281562