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_28-1.debian.tar.xz 18-Mar-2025 22:42 5876 gnome-shell-extension-flypie_28-1.dsc 18-Mar-2025 22:42 2083 gnome-shell-extension-flypie_28-1_all.deb 19-Mar-2025 00:08 3209680 gnome-shell-extension-flypie_28.orig.tar.gz 18-Mar-2025 22:42 9859423
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.