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-extensions-3.20.1.tar.xz 10-May-2016 20:55 236820 gnome-shell-extensions-3.22.0.tar.xz 19-Sep-2016 22:42 339588 gnome-shell-extensions-3.22.2.tar.xz 10-Nov-2016 15:57 339444 gnome-shell-extensions-3.24.1.tar.xz 11-Apr-2017 00:47 344080 gnome-shell-extensions-3.24.2.tar.xz 06-Jun-2017 15:03 345652 gnome-shell-extensions-3.24.3.tar.xz 20-Jul-2017 00:33 346420 gnome-shell-extensions-3.26.1.tar.xz 04-Oct-2017 16:57 348988 gnome-shell-extensions-3.26.2.tar.xz 02-Nov-2017 18:55 348720 gnome-shell-extensions-3.28.0.tar.xz 12-Mar-2018 21:46 199092 gnome-shell-extensions-3.28.1.tar.xz 25-Apr-2018 19:22 199180 gnome-shell-extensions-3.30.1.tar.xz 08-Oct-2018 20:57 198652 gnome-shell-extensions-3.32.1.tar.xz 17-Apr-2019 20:17 198320 gnome-shell-extensions-3.34.0.tar.xz 09-Sep-2019 19:43 204624 gnome-shell-extensions-3.34.1.tar.xz 09-Oct-2019 02:02 204824 gnome-shell-extensions-3.34.2.tar.xz 12-Dec-2019 17:16 204860 gnome-shell-extensions-3.36.1.tar.xz 30-Mar-2020 23:59 207980 gnome-shell-extensions-3.36.2.tar.xz 29-Apr-2020 20:47 207976 gnome-shell-extensions-3.36.3.tar.xz 11-Aug-2020 20:53 207956 gnome-shell-extensions-3.38.1.tar.xz 05-Oct-2020 18:52 209964 gnome-shell-extensions-3.38.2.tar.xz 02-Dec-2020 23:33 209904 gnome-shell-extensions-40.0.tar.xz 20-Mar-2021 12:43 217772 gnome-shell-extensions-40.1.tar.xz 14-May-2021 15:34 218084 gnome-shell-extensions-40.2.tar.xz 10-Jun-2021 12:32 218032 gnome-shell-extensions-40.3.tar.xz 12-Jul-2021 19:30 218108 gnome-shell-extensions-40.4.tar.xz 17-Aug-2021 23:59 218088 gnome-shell-extensions-41.1.tar.xz 12-Dec-2021 20:21 219848 gnome-shell-extensions-41.2.tar.xz 15-Feb-2022 20:00 222528 gnome-shell-extensions-42.0.tar.xz 12-Mar-2022 23:55 226240 gnome-shell-extensions-42.1.tar.xz 06-May-2022 19:19 225068 gnome-shell-extensions-42.2.tar.xz 29-May-2022 12:32 225040 gnome-shell-extensions-42.3.tar.xz 04-Jul-2022 19:18 225332 gnome-shell-extensions-43.1.tar.xz 04-Nov-2022 14:23 226868 gnome-shell-extensions-44.0.tar.xz 19-Mar-2023 12:14 227060 gnome-shell-extensions-45.0.tar.xz 16-Sep-2023 21:45 201516 gnome-shell-extensions-45.1.tar.xz 01-Nov-2023 00:29 201296 gnome-shell-extensions-45.2.tar.xz 02-Dec-2023 18:44 201232 gnome-shell-extensions-46.0.tar.xz 16-Mar-2024 21:16 207488 gnome-shell-extensions-46.1.tar.xz 21-Apr-2024 15:08 208284 gnome-shell-extensions-46.2.tar.xz 25-May-2024 23:14 223512 gnome-shell-extensions-47.1.tar.xz 19-Oct-2024 00:09 221384 gnome-shell-extensions-47.2.tar.xz 25-Nov-2024 18:23 221688
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.