Index of /pub/linux/debian-archive/debian/pool/main/g/gnome-shell-extension-arc-menu/

Filename	Modification time	Size
gnome-shell-extension-arc-menu_49-1.debian.tar.xz	2020-10-22 13:37 CEST	2268 B
gnome-shell-extension-arc-menu_49-1.dsc	2020-10-22 13:37 CEST	2147 B
gnome-shell-extension-arc-menu_49-1_all.deb	2020-10-22 13:57 CEST	380 KiB
gnome-shell-extension-arc-menu_49.orig.tar.gz	2020-10-22 13:37 CEST	899 KiB