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-extension-no-overview_49+20260418-4..> 11-Jun-2026 04:49 2116 gnome-shell-extension-no-overview_49+20260418-4..> 11-Jun-2026 04:49 1540 gnome-shell-extension-no-overview_49+20260418-4..> 11-Jun-2026 05:24 2884 gnome-shell-extension-no-overview_49+20260418.o..> 10-May-2026 09:42 11996 gnome-shell-extension-no-overview_51-1.debian.t..> 21-Sep-2026 11:01 1884 gnome-shell-extension-no-overview_51-1.dsc 21-Sep-2026 11:01 1504 gnome-shell-extension-no-overview_51-1_all.deb 21-Sep-2026 12:04 2624 gnome-shell-extension-no-overview_51.orig.tar.xz 21-Sep-2026 11:01 11992
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.