Name							Size	Modified
----							----	--------
gnome-shell-extension-xrdesktop_0.14.0-2.debian.tar.xz	1.8 KiB	April 17, 2020 at 22:53:18
gnome-shell-extension-xrdesktop_0.14.0-2.dsc		2.2 KiB	April 17, 2020 at 22:53:17
gnome-shell-extension-xrdesktop_0.14.0.orig.tar.bz2	4.7 KiB	April 17, 2020 at 22:53:18