Index of /debian-archive/debian/pool/contrib/g/gnome-shell-extension-xrdesktop/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
gnome-shell-extension-xrdesktop_0.13.2-1~bpo10+1.debian.tar.xz 17922020-Apr-07 12:58
gnome-shell-extension-xrdesktop_0.13.2-1~bpo10+1.dsc 22492020-Apr-07 12:58
gnome-shell-extension-xrdesktop_0.13.2-1~bpo10+1_all.deb 50802020-Apr-07 12:58
gnome-shell-extension-xrdesktop_0.13.2.orig.tar.bz2 47702019-Nov-25 22:18