Index of /nova/pool/extendido/g/gnome-shell-extension-xrdesktop/

../
gnome-shell-extension-xrdesktop_0.14.0-2.debian..> 22-Jun-2020 09:57                1852
gnome-shell-extension-xrdesktop_0.14.0-2.dsc       22-Jun-2020 09:57                2209
gnome-shell-extension-xrdesktop_0.14.0-2_all.deb   22-Jun-2020 10:25                5228
gnome-shell-extension-xrdesktop_0.14.0.orig.tar..> 22-Jun-2020 09:57                4827