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_111-1.debi..> 26-Dec-2022 16:43 5600 gnome-shell-extension-autohidetopbar_111-1.dsc 26-Dec-2022 16:43 2157 gnome-shell-extension-autohidetopbar_111-1_all.deb 26-Dec-2022 17:34 22024 gnome-shell-extension-autohidetopbar_111.orig.t..> 26-Dec-2022 16:43 37052 gnome-shell-extension-autohidetopbar_117-2.debi..> 14-Sep-2024 09:02 6096 gnome-shell-extension-autohidetopbar_117-2.dsc 14-Sep-2024 09:02 2172 gnome-shell-extension-autohidetopbar_117-2_all.deb 14-Sep-2024 09:22 22748 gnome-shell-extension-autohidetopbar_117.orig.t..> 13-Jul-2024 12:52 4555988 gnome-shell-extension-autohidetopbar_118-1.debi..> 01-Jan-2025 15:01 5792 gnome-shell-extension-autohidetopbar_118-1.dsc 01-Jan-2025 15:01 2172 gnome-shell-extension-autohidetopbar_118-1_all.deb 01-Jan-2025 15:22 22856 gnome-shell-extension-autohidetopbar_118.orig.t..> 01-Jan-2025 15:01 4556060 gnome-shell-extension-autohidetopbar_20180908-2..> 30-Dec-2018 11:27 4064 gnome-shell-extension-autohidetopbar_20180908-2..> 30-Dec-2018 11:27 2171 gnome-shell-extension-autohidetopbar_20180908-2..> 30-Dec-2018 12:12 16960 gnome-shell-extension-autohidetopbar_20180908.o..> 29-Dec-2018 22:53 15704 gnome-shell-extension-autohidetopbar_20210104-1..> 02-Feb-2021 16:09 4704 gnome-shell-extension-autohidetopbar_20210104-1..> 02-Feb-2021 16:09 2177 gnome-shell-extension-autohidetopbar_20210104-1..> 02-Feb-2021 16:46 18280 gnome-shell-extension-autohidetopbar_20210104.o..> 02-Feb-2021 16:09 25504
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.