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.
../ gedit-source-code-browser-plugin_3.0.3-3.debian..> 21-Oct-2013 13:19 3711 gedit-source-code-browser-plugin_3.0.3-3.dsc 21-Oct-2013 13:19 2139 gedit-source-code-browser-plugin_3.0.3-3_all.deb 22-Oct-2013 01:19 16836 gedit-source-code-browser-plugin_3.0.3-5.1.debi..> 16-Jun-2018 05:28 4780 gedit-source-code-browser-plugin_3.0.3-5.1.dsc 16-Jun-2018 05:28 2158 gedit-source-code-browser-plugin_3.0.3-5.1_all.deb 16-Jun-2018 05:28 15556 gedit-source-code-browser-plugin_3.0.3-5.debian..> 08-Jul-2014 05:18 4688 gedit-source-code-browser-plugin_3.0.3-5.dsc 08-Jul-2014 05:18 2125 gedit-source-code-browser-plugin_3.0.3-5_all.deb 08-Jul-2014 05:18 15578 gedit-source-code-browser-plugin_3.0.3-6.debian..> 08-Feb-2021 18:24 4964 gedit-source-code-browser-plugin_3.0.3-6.dsc 08-Feb-2021 18:24 2154 gedit-source-code-browser-plugin_3.0.3-6_all.deb 08-Feb-2021 18:24 15520 gedit-source-code-browser-plugin_3.0.3.orig.tar.gz 30-Apr-2012 23:45 15948
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.