Index of ftp://ftp.udc.es/debian/pool/main/g/gnome-shell-extension-xrdesktop
Parent Directory
gnome-shell-extension-xrdesktop_0.14.0-3.debian.tar.xz
1.82Kb
April 21 2020
gnome-shell-extension-xrdesktop_0.14.0-3.dsc
2.16Kb
April 21 2020
gnome-shell-extension-xrdesktop_0.14.0-3_all.deb
5.07Kb
April 21 2020
gnome-shell-extension-xrdesktop_0.14.0.orig.tar.bz2
4.71Kb
April 9 2020
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory![[ ]](/icons/unknown.gif){kind=icon}
gnome-shell-extension-xrdesktop_0.14.0-3.debian.tar.xz gnome-shell-extension-xrdesktop_0.14.0-3.dsc gnome-shell-extension-xrdesktop_0.14.0-3_all.deb gnome-shell-extension-xrdesktop_0.14.0.orig.tar.bz2