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.
../ mint-dev-tools_1.1.2.dsc 06-Jan-2018 13:34 553 mint-dev-tools_1.1.2.tar.xz 06-Jan-2018 13:34 160012 mint-dev-tools_1.1.2_all.deb 06-Jan-2018 13:34 163188 mint-dev-tools_1.1.7.dsc 20-Feb-2018 15:33 553 mint-dev-tools_1.1.7.tar.xz 20-Feb-2018 15:33 173996 mint-dev-tools_1.1.7_all.deb 20-Feb-2018 15:33 177276 mint-dev-tools_1.2.3.dsc 30-Jun-2019 13:37 553 mint-dev-tools_1.2.3.tar.xz 30-Jun-2019 13:37 209564 mint-dev-tools_1.2.3_all.deb 30-Jun-2019 13:37 213900 mint-dev-tools_1.3.16.dsc 31-May-2023 12:18 557 mint-dev-tools_1.3.16.tar.xz 31-May-2023 12:18 314324 mint-dev-tools_1.3.16_all.deb 31-May-2023 12:18 320348 mint-dev-tools_1.3.4.dsc 18-Nov-2021 15:22 553 mint-dev-tools_1.3.4.tar.xz 18-Nov-2021 15:22 275360 mint-dev-tools_1.3.4_all.deb 18-Nov-2021 15:22 280548 mint-dev-tools_1.3.6.dsc 19-Apr-2022 09:37 553 mint-dev-tools_1.3.6.tar.xz 19-Apr-2022 09:37 278228 mint-dev-tools_1.3.6_all.deb 19-Apr-2022 09:37 283892 mint-dev-tools_1.4.0.dsc 20-Jul-2023 11:00 553 mint-dev-tools_1.4.0.tar.xz 20-Jul-2023 11:00 319120 mint-dev-tools_1.4.0_all.deb 20-Jul-2023 11:00 325176 mint-dev-tools_1.4.2.dsc 18-Nov-2023 17:57 553 mint-dev-tools_1.4.2.tar.xz 18-Nov-2023 17:57 327348 mint-dev-tools_1.4.2_all.deb 18-Nov-2023 17:57 333428
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.