Home / ubuntu / pool / universe / g / gnome-shell-extension-xrdesktop
File Name
Size
Date
  • ..
    —
    —
  • gnome-shell-extension-xrdesktop_0.14.0-2_all.deb
    5.11KB
    2020-04-18 01:58:19