The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
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[@]dogado.de.
../ gnome-shell-extension-flypie_17-1.debian.tar.xz 16-Oct-2022 20:10 5276 gnome-shell-extension-flypie_17-1.dsc 16-Oct-2022 20:10 2073 gnome-shell-extension-flypie_17-1_all.deb 16-Oct-2022 21:16 3153484 gnome-shell-extension-flypie_17-1~bpo11+1.debia..> 14-Dec-2022 16:07 5316 gnome-shell-extension-flypie_17-1~bpo11+1.dsc 14-Dec-2022 16:07 2105 gnome-shell-extension-flypie_17-1~bpo11+1_all.deb 14-Dec-2022 16:07 3153448 gnome-shell-extension-flypie_17.orig.tar.gz 10-Oct-2022 17:43 9700263 gnome-shell-extension-flypie_22-1.debian.tar.xz 09-Sep-2023 00:43 5376 gnome-shell-extension-flypie_22-1.dsc 09-Sep-2023 00:43 2073 gnome-shell-extension-flypie_22-1_all.deb 09-Sep-2023 01:03 3186376 gnome-shell-extension-flypie_22.orig.tar.gz 09-Sep-2023 00:43 9806744
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.
Health stats visible at Monitor.