Index of /debian/pool/contrib/g/gnome-shell-extension-xrdesktop/
Name | Last Modified | Size |
---|---|---|
Parent Directory | ||
gnome-shell-extension-xrdesktop_0.13.2-1~bpo10+1.debian.tar.xz | 07-04-2020 03:58 | 4k |
gnome-shell-extension-xrdesktop_0.13.2-1~bpo10+1.dsc | 07-04-2020 03:58 | 4k |
gnome-shell-extension-xrdesktop_0.13.2-1~bpo10+1_all.deb | 07-04-2020 03:58 | 8k |
gnome-shell-extension-xrdesktop_0.13.2.orig.tar.bz2 | 25-11-2019 13:18 | 8k |
gnome-shell-extension-xrdesktop_0.14.0.orig.tar.bz2 | 09-04-2020 01:51 | 8k |