Index of /lotos/pool/main/g/gnome-shell-extension-arc-menu/

../
gnome-shell-extension-arc-menu_38.3-dev-1.debian.tar.xz                                                                  12-Nov-2019 11:31    2036
gnome-shell-extension-arc-menu_38.3-dev-1.dsc                                                                            12-Nov-2019 11:31    2187
gnome-shell-extension-arc-menu_38.3-dev-1_all.deb                                                                        12-Nov-2019 11:31    142K
gnome-shell-extension-arc-menu_38.3-dev.orig.tar.gz                                                                      12-Nov-2019 11:31    979K