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.

Index of /ubuntu/pool/universe/r/rkdeveloptool/


../
rkdeveloptool_1.32+git20210408.46bb4c0-2.debian..> 06-Nov-2022 03:56                3020
rkdeveloptool_1.32+git20210408.46bb4c0-2.dsc       06-Nov-2022 03:56                2118
rkdeveloptool_1.32+git20210408.46bb4c0-2_amd64.deb 06-Nov-2022 06:18               50272
rkdeveloptool_1.32+git20210408.46bb4c0.orig.tar.gz 30-Apr-2022 02:01               59044
rkdeveloptool_1.32+pine64git20210920.cce7d2a-1...> 06-Jul-2023 23:35                3992
rkdeveloptool_1.32+pine64git20210920.cce7d2a-1.dsc 06-Jul-2023 23:35                2166
rkdeveloptool_1.32+pine64git20210920.cce7d2a-1_..> 06-Jul-2023 23:36               53348
rkdeveloptool_1.32+pine64git20210920.cce7d2a-2...> 03-Nov-2023 06:14                5552
rkdeveloptool_1.32+pine64git20210920.cce7d2a-2.dsc 03-Nov-2023 06:14                2150
rkdeveloptool_1.32+pine64git20210920.cce7d2a-2_..> 03-Nov-2023 06:16               54106
rkdeveloptool_1.32+pine64git20210920.cce7d2a.or..> 06-Jul-2023 23:35               51588

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.