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-hide-activities_0.00~git2..> 24-Oct-2016 19:58 1796 gnome-shell-extension-hide-activities_0.00~git2..> 24-Oct-2016 19:58 2288 gnome-shell-extension-hide-activities_0.00~git2..> 24-Oct-2016 19:58 3048 gnome-shell-extension-hide-activities_0.00~git2..> 02-Aug-2019 10:33 1884 gnome-shell-extension-hide-activities_0.00~git2..> 02-Aug-2019 10:33 2357 gnome-shell-extension-hide-activities_0.00~git2..> 02-Aug-2019 11:29 3264 gnome-shell-extension-hide-activities_0.00~git2..> 24-Oct-2016 19:58 1652 gnome-shell-extension-hide-activities_0.00~git2..> 02-Aug-2019 10:33 1644 gnome-shell-extension-hide-activities_43-1.debi..> 18-Oct-2022 15:25 2400 gnome-shell-extension-hide-activities_43-1.dsc 18-Oct-2022 15:25 2183 gnome-shell-extension-hide-activities_43-1_all.deb 18-Oct-2022 16:10 3868 gnome-shell-extension-hide-activities_43.orig.t..> 18-Oct-2022 15:25 2012 gnome-shell-extension-hide-activities_47-1.debi..> 16-Aug-2024 08:18 2880 gnome-shell-extension-hide-activities_47-1.dsc 16-Aug-2024 08:18 2266 gnome-shell-extension-hide-activities_47-1_all.deb 16-Aug-2024 08:58 4076 gnome-shell-extension-hide-activities_47.orig.t..> 16-Aug-2024 08:18 1184
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.