Index of /pub/os/linux/ubuntu/pool/universe/g/gnome-shell-extension-ubuntu-dock/

Filename	Modification time	Size
gnome-shell-extension-ubuntu-dock_102ubuntu2.dsc	2026-02-10 19:45 CET	98 B
gnome-shell-extension-ubuntu-dock_102ubuntu2.tar.xz	2026-02-10 19:45 CET	101 B
gnome-shell-extension-ubuntu-dock_102ubuntu2_all.deb	2026-02-10 19:47 CET	102 B