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.30.1-1.debian.tar.xz 02-Nov-2018 10:42 7336 gnome-shell-extensions_3.30.1-1.dsc 02-Nov-2018 10:42 2168 gnome-shell-extensions_3.30.1-1_all.deb 02-Nov-2018 12:14 168020 gnome-shell-extensions_3.30.1.orig.tar.xz 02-Nov-2018 10:42 198652 gnome-shell-extensions_3.38.2-1.debian.tar.xz 03-Dec-2020 14:10 8448 gnome-shell-extensions_3.38.2-1.dsc 03-Dec-2020 14:10 2336 gnome-shell-extensions_3.38.2-1_all.deb 03-Dec-2020 15:01 160972 gnome-shell-extensions_3.38.2.orig.tar.xz 03-Dec-2020 14:10 209904 gnome-shell-extensions_43.1-1.debian.tar.xz 22-Nov-2022 19:28 9312 gnome-shell-extensions_43.1-1.dsc 22-Nov-2022 19:28 2173 gnome-shell-extensions_43.1-1_all.deb 22-Nov-2022 19:58 161140 gnome-shell-extensions_43.1.orig.tar.xz 22-Nov-2022 19:28 217552 gnome-shell-extensions_44.0-2.debian.tar.xz 20-Aug-2023 23:43 9456 gnome-shell-extensions_44.0-2.dsc 20-Aug-2023 23:43 2358 gnome-shell-extensions_44.0-2_all.deb 21-Aug-2023 00:14 161572 gnome-shell-extensions_44.0.orig.tar.xz 27-Mar-2023 13:04 217536 gnome-shell-extensions_46.2-1.debian.tar.xz 28-May-2024 20:21 9564 gnome-shell-extensions_46.2-1.dsc 28-May-2024 20:21 2256 gnome-shell-extensions_46.2-2.debian.tar.xz 12-Jul-2024 22:36 9588 gnome-shell-extensions_46.2-2.dsc 12-Jul-2024 22:36 2256 gnome-shell-extensions_46.2-2_all.deb 13-Jul-2024 00:08 160616 gnome-shell-extensions_46.2.orig.tar.xz 28-May-2024 20:21 223512
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.