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-common_3.30.2-11~deb10u2_all.deb 18-Sep-2020 02:52 634820 gnome-shell-common_3.38.6-1~deb11u1_all.deb 25-Sep-2021 20:58 744264 gnome-shell-common_43.9-0+deb12u1_all.deb 05-Nov-2023 20:40 798788 gnome-shell-common_44.8-1_all.deb 15-Jan-2024 17:43 814444 gnome-shell-extension-prefs_3.38.6-1~deb11u1_ar..> 11-Oct-2021 04:08 43504 gnome-shell-extension-prefs_43.9-0+deb12u1_armh..> 09-Dec-2023 22:08 28152 gnome-shell-extension-prefs_44.8-1_armhf.deb 21-Jan-2024 10:08 28988 gnome-shell_3.30.2-11~deb10u2.debian.tar.xz 13-Sep-2020 12:37 73496 gnome-shell_3.30.2-11~deb10u2.dsc 13-Sep-2020 12:37 3536 gnome-shell_3.30.2-11~deb10u2_armhf.deb 26-Sep-2020 22:08 653860 gnome-shell_3.30.2.orig.tar.xz 15-Nov-2018 10:43 1439556 gnome-shell_3.38.6-1~deb11u1.debian.tar.xz 19-Sep-2021 16:36 34588 gnome-shell_3.38.6-1~deb11u1.dsc 19-Sep-2021 16:36 3873 gnome-shell_3.38.6-1~deb11u1_armhf.deb 11-Oct-2021 04:08 764752 gnome-shell_3.38.6.orig.tar.xz 26-Aug-2021 09:10 1816532 gnome-shell_43.9-0+deb12u1.debian.tar.xz 10-Oct-2023 10:04 43484 gnome-shell_43.9-0+deb12u1.dsc 10-Oct-2023 10:04 3782 gnome-shell_43.9-0+deb12u1_armhf.deb 09-Dec-2023 22:08 767140 gnome-shell_43.9.orig.tar.xz 10-Oct-2023 10:04 1954632 gnome-shell_44.8-1.debian.tar.xz 15-Jan-2024 17:18 44304 gnome-shell_44.8-1.dsc 15-Jan-2024 17:18 3836 gnome-shell_44.8-1_armhf.deb 21-Jan-2024 10:08 812208 gnome-shell_44.8.orig.tar.xz 15-Jan-2024 17:18 1997580
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.