gnome-shell-extension-autohidetopbar_123-1.debian.tar.xz
gnome-shell-extension-autohidetopbar_123-1.dsc
gnome-shell-extension-autohidetopbar_123-1_all.deb
gnome-shell-extension-autohidetopbar_123.orig.tar.bz2