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-autohidetopbar_20140113-1..> 30-Jan-2014 17:24 4172 gnome-shell-extension-autohidetopbar_20140113-1..> 30-Jan-2014 17:24 2241 gnome-shell-extension-autohidetopbar_20140113-1..> 30-Jan-2014 23:13 8386 gnome-shell-extension-autohidetopbar_20140113.o..> 30-Jan-2014 17:24 8372 gnome-shell-extension-autohidetopbar_20151103-1..> 03-Nov-2015 23:11 4016 gnome-shell-extension-autohidetopbar_20151103-1..> 03-Nov-2015 23:11 2178 gnome-shell-extension-autohidetopbar_20151103-1..> 03-Nov-2015 23:40 13422 gnome-shell-extension-autohidetopbar_20151103.o..> 03-Nov-2015 23:11 14940 gnome-shell-extension-autohidetopbar_20171126-2..> 09-Apr-2018 00:23 3744 gnome-shell-extension-autohidetopbar_20171126-2..> 09-Apr-2018 00:23 2171 gnome-shell-extension-autohidetopbar_20171126-2..> 09-Apr-2018 00:28 16028 gnome-shell-extension-autohidetopbar_20171126.o..> 28-Dec-2017 23:08 18988 gnome-shell-extension-autohidetopbar_20200322-1..> 10-Apr-2020 03:03 4200 gnome-shell-extension-autohidetopbar_20200322-1..> 10-Apr-2020 03:03 2177 gnome-shell-extension-autohidetopbar_20200322-1..> 10-Apr-2020 03:03 16584 gnome-shell-extension-autohidetopbar_20200322.o..> 10-Apr-2020 03:03 16312
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.