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.
../ devtools_0.1.tar.gz 22-Jun-2011 20:30 13431 devtools_0.2.tar.gz 29-Jun-2011 09:41 14272 devtools_0.3.tar.gz 30-Jun-2011 17:01 14588 devtools_0.4.tar.gz 23-Jul-2011 15:55 17677 devtools_0.5.1.tar.gz 07-Dec-2011 17:07 20829 devtools_0.5.tar.gz 04-Dec-2011 09:26 20754 devtools_0.6.tar.gz 28-Feb-2012 08:37 28300 devtools_0.7.1.tar.gz 02-Jul-2012 15:41 37953 devtools_0.7.tar.gz 19-Jun-2012 19:40 37864 devtools_0.8.tar.gz 14-Sep-2012 19:34 80629 devtools_1.0.tar.gz 22-Jan-2013 17:42 103866 devtools_1.1.tar.gz 09-Feb-2013 07:02 97142 devtools_1.10.0.tar.gz 23-Jan-2016 13:39 182009 devtools_1.11.0.tar.gz 12-Apr-2016 04:19 451512 devtools_1.11.1.tar.gz 21-Apr-2016 09:19 459473 devtools_1.12.0.tar.gz 05-Dec-2016 17:28 466618 devtools_1.13.0.tar.gz 08-May-2017 14:43 486058 devtools_1.13.1.tar.gz 13-May-2017 10:07 486282 devtools_1.13.2.tar.gz 02-Jun-2017 19:11 486355 devtools_1.13.3.tar.gz 02-Aug-2017 07:05 486402 devtools_1.13.4.tar.gz 09-Nov-2017 10:44 486348 devtools_1.13.5.tar.gz 18-Feb-2018 21:53 486555 devtools_1.13.6.tar.gz 27-Jun-2018 20:57 486446 devtools_1.2.tar.gz 17-Apr-2013 11:42 109037 devtools_1.3.tar.gz 04-Jul-2013 16:54 114381 devtools_1.4.1.tar.gz 27-Nov-2013 18:34 105214 devtools_1.4.tar.gz 20-Nov-2013 15:57 103825 devtools_1.5.tar.gz 07-Apr-2014 18:38 112272 devtools_1.6.1.tar.gz 07-Oct-2014 20:06 122725 devtools_1.6.tar.gz 23-Sep-2014 03:49 122409 devtools_1.7.0.tar.gz 17-Jan-2015 10:48 130760 devtools_1.8.0.tar.gz 09-May-2015 04:20 141487 devtools_1.9.1.tar.gz 11-Sep-2015 15:41 157024 devtools_2.0.0.tar.gz 19-Oct-2018 12:10 388238 devtools_2.0.1.tar.gz 26-Oct-2018 21:11 388953 devtools_2.0.2.tar.gz 08-Apr-2019 20:04 388141 devtools_2.1.0.tar.gz 06-Jul-2019 15:20 378899 devtools_2.2.0.tar.gz 07-Sep-2019 16:50 370794 devtools_2.2.1.tar.gz 24-Sep-2019 15:00 372273 devtools_2.2.2.tar.gz 17-Feb-2020 20:30 375464 devtools_2.3.0.tar.gz 10-Apr-2020 23:20 375227 devtools_2.3.1.tar.gz 21-Jul-2020 19:00 373604 devtools_2.3.2.tar.gz 18-Sep-2020 07:20 373387 devtools_2.4.0.tar.gz 07-Apr-2021 09:10 369987 devtools_2.4.1.tar.gz 05-May-2021 19:00 370717 devtools_2.4.2.tar.gz 07-Jun-2021 07:10 371298 devtools_2.4.3.tar.gz 30-Nov-2021 09:00 372413 devtools_2.4.4.tar.gz 20-Jul-2022 18:30 374492
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.