The hardware and bandwidth for this mirror is donated by METANET, the Webhosting and Full Service-Cloud Provider.
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[@]metanet.ch.
../ 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.