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-desktop-icons_19.01.1-1.d..> 04-Mar-2019 16:11 7140 gnome-shell-extension-desktop-icons_19.01.1-1.dsc 04-Mar-2019 16:11 2323 gnome-shell-extension-desktop-icons_19.01.1-1_a..> 04-Mar-2019 17:41 32064 gnome-shell-extension-desktop-icons_19.01.1.ori..> 04-Mar-2019 16:11 43270 gnome-shell-extension-desktop-icons_20.04.0+git..> 07-Dec-2020 19:03 6912 gnome-shell-extension-desktop-icons_20.04.0+git..> 07-Dec-2020 19:03 2437 gnome-shell-extension-desktop-icons_20.04.0+git..> 07-Dec-2020 19:28 47704 gnome-shell-extension-desktop-icons_20.04.0+git..> 10-Sep-2020 04:48 58048
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.