The hardware and bandwidth for this mirror is donated by METANET, the Webhosting and Full Service-Cloud Provider.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]metanet.ch.
../ gnome-shell-extension-system-monitor_35-1.debia..> 12-Apr-2018 17:40 3020 gnome-shell-extension-system-monitor_35-1.dsc 12-Apr-2018 17:40 2207 gnome-shell-extension-system-monitor_35-1_all.deb 12-Apr-2018 17:40 44192 gnome-shell-extension-system-monitor_35-1ubuntu..> 20-Aug-2018 15:33 3960 gnome-shell-extension-system-monitor_35-1ubuntu..> 20-Aug-2018 15:33 2325 gnome-shell-extension-system-monitor_35-1ubuntu..> 20-Aug-2018 15:33 44336 gnome-shell-extension-system-monitor_35.orig.ta..> 12-Apr-2018 17:40 86393 gnome-shell-extension-system-monitor_38+git2020..> 17-Apr-2020 22:58 3556 gnome-shell-extension-system-monitor_38+git2020..> 17-Apr-2020 22:58 2365 gnome-shell-extension-system-monitor_38+git2020..> 17-Apr-2020 22:58 47776 gnome-shell-extension-system-monitor_38+git2020..> 17-Apr-2020 22:58 98935
These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.