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

Filename	Modification time	Size
gnome-shell-extension-arc-menu_45-1.debian.tar.xz	2020-04-18 14:28 CEST	2056 B
gnome-shell-extension-arc-menu_45-1.dsc	2020-04-18 14:28 CEST	2145 B
gnome-shell-extension-arc-menu_45-1_all.deb	2020-04-18 14:58 CEST	246 KiB
gnome-shell-extension-arc-menu_45.orig.tar.bz2	2020-04-18 14:28 CEST	275 KiB