(BIN) gnome-shell-extension-xrdesktop_0.14.0-3.debian.tar.xz (TXT) gnome-shell-extension-xrdesktop_0.14.0-3.dsc (BIN) gnome-shell-extension-xrdesktop_0.14.0-3_all.deb (BIN) gnome-shell-extension-xrdesktop_0.14.0.orig.tar.bz2