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 /debian/pool/main/r/rabit/

../
librabit-dev_0.0~git20200628.74bf00a-2_amd64.deb   26-Oct-2020 14:02               21652
librabit-dev_0.0~git20200628.74bf00a-2_arm64.deb   26-Oct-2020 14:12               21652
librabit-dev_0.0~git20200628.74bf00a-2_i386.deb    26-Oct-2020 14:02               21656
librabit0_0.0~git20200628.74bf00a-2_amd64.deb      26-Oct-2020 14:02               95900
librabit0_0.0~git20200628.74bf00a-2_arm64.deb      26-Oct-2020 14:12               86932
librabit0_0.0~git20200628.74bf00a-2_i386.deb       26-Oct-2020 14:02               99664
rabit_0.0~git20200628.74bf00a-2.debian.tar.xz      26-Oct-2020 13:37                2936
rabit_0.0~git20200628.74bf00a-2.dsc                26-Oct-2020 13:37                2100
rabit_0.0~git20200628.74bf00a.orig.tar.xz          25-Oct-2020 07:31               72180

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.