| File Name | File Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| gnome-shell-extension-xrdesktop_0.14.0-3.debian..> | 1860 | 21-Apr-2020 07:49 |
| gnome-shell-extension-xrdesktop_0.14.0-3.dsc | 2209 | 21-Apr-2020 07:49 |
| gnome-shell-extension-xrdesktop_0.14.0-3_all.deb | 5196 | 21-Apr-2020 08:55 |
| gnome-shell-extension-xrdesktop_0.14.0.orig.tar..> | 4827 | 09-Apr-2020 01:51 |