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_44-1.debi..> 19-Jun-2023 09:17 2440 gnome-shell-extension-hide-activities_44-1.dsc 19-Jun-2023 09:17 2183 gnome-shell-extension-hide-activities_44-1_all.deb 19-Jun-2023 14:15 3908 gnome-shell-extension-hide-activities_44.orig.t..> 19-Jun-2023 09:17 2002 gnome-shell-extension-hide-activities_46-1~exp1..> 23-Apr-2024 13:38 2772 gnome-shell-extension-hide-activities_46-1~exp1..> 23-Apr-2024 13:38 2203 gnome-shell-extension-hide-activities_46-1~exp1..> 23-Apr-2024 14:09 3968 gnome-shell-extension-hide-activities_46.orig.t..> 23-Apr-2024 13:38 1178
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.