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_ar..> 20-Apr-2022 20:18 69450 gnome-shell-extension-manager_0.3.0-0ubuntu1_ar..> 20-Apr-2022 20:18 62020 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 88414 gnome-shell-extension-manager_0.3.0-0ubuntu2.1_..> 13-May-2022 12:15 81216 gnome-shell-extension-manager_0.3.0.orig.tar.gz 20-Apr-2022 19:14 1431028 gnome-shell-extension-manager_0.4.0-1.debian.ta..> 25-Jan-2023 01:49 4536 gnome-shell-extension-manager_0.4.0-1.dsc 25-Jan-2023 01:49 2421 gnome-shell-extension-manager_0.4.0-1_arm64.deb 25-Jan-2023 07:49 79122 gnome-shell-extension-manager_0.4.0-1_armhf.deb 25-Jan-2023 07:49 71644 gnome-shell-extension-manager_0.4.0.orig.tar.gz 06-Oct-2022 19:18 1476951 gnome-shell-extension-manager_0.4.2-1.debian.ta..> 30-Aug-2023 18:09 4584 gnome-shell-extension-manager_0.4.2-1.dsc 30-Aug-2023 18:09 2404 gnome-shell-extension-manager_0.4.2-1_arm64.deb 30-Aug-2023 18:09 74192 gnome-shell-extension-manager_0.4.2-1_armhf.deb 30-Aug-2023 18:09 66442 gnome-shell-extension-manager_0.4.2.orig.tar.gz 30-Aug-2023 18:09 1469519 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_arm..> 31-Mar-2024 07:13 161160 gnome-shell-extension-manager_0.5.0-1build1_arm..> 31-Mar-2024 07:13 147964 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_arm64.deb 28-Sep-2024 08:14 152478 gnome-shell-extension-manager_0.5.1-5_armhf.deb 28-Sep-2024 08:14 149260 gnome-shell-extension-manager_0.5.1.orig.tar.gz 03-May-2024 01:53 2248071
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.