Index of /mirror/ubuntu-ports/pool/universe/g/gnome-shell-extension-xrdesktop/
Name
Last Modified
Size
Type
Parent Directory
/
-
Directory
gnome-shell-extension-xrdesktop_0.14.0-2_all.deb
2020-Apr-18 06:58:19
5.1K
application/vnd.debian.binary-package
lighttpd/1.4.35