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-timer_0.0.20130422-1.debian.tar.gz 21-Oct-2013 13:19 2434 gnome-shell-timer_0.0.20130422-1.dsc 21-Oct-2013 13:19 2064 gnome-shell-timer_0.0.20130422-1_all.deb 22-Oct-2013 02:09 17436 gnome-shell-timer_0.0.20130422.orig.tar.gz 21-Oct-2013 13:19 26863 gnome-shell-timer_0.3.12+20140924-3.debian.tar.xz 23-Oct-2015 21:26 3000 gnome-shell-timer_0.3.12+20140924-3.dsc 23-Oct-2015 21:26 1727 gnome-shell-timer_0.3.12+20140924-3_all.deb 24-Oct-2015 00:56 15644 gnome-shell-timer_0.3.12+20140924.orig.tar.gz 24-Oct-2014 08:19 26968 gnome-shell-timer_0.3.20+20171025-2.debian.tar.xz 25-Feb-2018 05:16 3108 gnome-shell-timer_0.3.20+20171025-2.dsc 25-Feb-2018 05:16 1723 gnome-shell-timer_0.3.20+20171025-2_all.deb 25-Feb-2018 05:29 100048 gnome-shell-timer_0.3.20+20171025-4.debian.tar.xz 28-Dec-2019 23:13 6124 gnome-shell-timer_0.3.20+20171025-4.dsc 28-Dec-2019 23:13 1716 gnome-shell-timer_0.3.20+20171025-4_all.deb 28-Dec-2019 23:43 100088 gnome-shell-timer_0.3.20+20171025.orig.tar.gz 06-Feb-2018 17:28 113542
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.