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-manager_0.3.0-0ubuntu1.de..> 20-Apr-2022 19:14 3320 gnome-shell-extension-manager_0.3.0-0ubuntu1.dsc 20-Apr-2022 19:14 2736 gnome-shell-extension-manager_0.3.0-0ubuntu1_am..> 20-Apr-2022 20:18 71312 gnome-shell-extension-manager_0.3.0-0ubuntu2.1...> 13-May-2022 12:14 3648 gnome-shell-extension-manager_0.3.0-0ubuntu2.1.dsc 13-May-2022 12:14 2744 gnome-shell-extension-manager_0.3.0-0ubuntu2.1_..> 13-May-2022 12:15 90410 gnome-shell-extension-manager_0.3.0.orig.tar.gz 20-Apr-2022 19:14 1431028 gnome-shell-extension-manager_0.5.0-1build1.deb..> 31-Mar-2024 07:11 2724 gnome-shell-extension-manager_0.5.0-1build1.dsc 31-Mar-2024 07:11 2534 gnome-shell-extension-manager_0.5.0-1build1_amd..> 31-Mar-2024 19:33 163054 gnome-shell-extension-manager_0.5.0.orig.tar.gz 23-Mar-2024 01:52 2246539 gnome-shell-extension-manager_0.5.1-5.debian.ta..> 28-Sep-2024 08:14 5596 gnome-shell-extension-manager_0.5.1-5.dsc 28-Sep-2024 08:14 2407 gnome-shell-extension-manager_0.5.1-5_amd64.deb 28-Sep-2024 08:14 154620 gnome-shell-extension-manager_0.5.1.orig.tar.gz 03-May-2024 01:53 2248071 gnome-shell-extension-manager_0.6.0-1.debian.ta..> 14-Dec-2024 17:55 2888 gnome-shell-extension-manager_0.6.0-1.dsc 14-Dec-2024 17:55 2415 gnome-shell-extension-manager_0.6.0-1_amd64.deb 14-Dec-2024 17:55 185040 gnome-shell-extension-manager_0.6.0.orig.tar.gz 14-Dec-2024 17:55 2444382
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.