The hardware and bandwidth for this mirror is donated by METANET, the Webhosting and Full Service-Cloud Provider.
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[@]metanet.ch.
../ 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.