The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
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[@]dogado.de.
../ gnome-shell-extension-system-monitor_36-1.debia..> 23-Aug-2018 12:25 3104 gnome-shell-extension-system-monitor_36-1.dsc 23-Aug-2018 12:25 2207 gnome-shell-extension-system-monitor_36-1_all.deb 23-Aug-2018 12:25 44348 gnome-shell-extension-system-monitor_36.orig.ta..> 23-Aug-2018 12:25 86657 gnome-shell-extension-system-monitor_38+git2020..> 17-Apr-2020 19:48 3556 gnome-shell-extension-system-monitor_38+git2020..> 17-Apr-2020 19:48 2365 gnome-shell-extension-system-monitor_38+git2020..> 17-Apr-2020 20:29 47860 gnome-shell-extension-system-monitor_38+git2020..> 17-Apr-2020 19:48 98935 gnome-shell-extension-system-monitor_40-5.debia..> 25-Sep-2022 13:34 4612 gnome-shell-extension-system-monitor_40-5.dsc 25-Sep-2022 13:34 2365 gnome-shell-extension-system-monitor_40-5_all.deb 25-Sep-2022 14:11 53820 gnome-shell-extension-system-monitor_40.orig.ta..> 09-Oct-2021 17:49 114897
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.
Health stats visible at Monitor.