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.
../ extlib_1.7.0-3.debian.tar.xz 25-Oct-2016 18:45 5548 extlib_1.7.0-3.dsc 25-Oct-2016 18:45 2121 extlib_1.7.0.orig.tar.gz 31-Aug-2015 07:39 83327 extlib_1.7.7-2.debian.tar.xz 20-Jul-2020 11:51 6292 extlib_1.7.7-2.dsc 20-Jul-2020 11:51 1872 extlib_1.7.7.orig.tar.gz 19-May-2020 06:45 88870 extlib_1.7.8-2.debian.tar.xz 24-Feb-2022 13:58 6444 extlib_1.7.8-2.dsc 24-Feb-2022 13:58 1868 extlib_1.7.8.orig.tar.gz 21-Nov-2021 13:57 90213 libextlib-ocaml-dev_1.7.0-3+b1_armhf.deb 09-Jan-2018 04:08 240152 libextlib-ocaml-dev_1.7.7-2+b1_armhf.deb 09-Nov-2020 01:23 868392 libextlib-ocaml-dev_1.7.8-2+b1_armhf.deb 03-Oct-2023 22:08 853772 libextlib-ocaml-dev_1.7.8-2_armhf.deb 28-Feb-2022 10:08 842972 libextlib-ocaml_1.7.0-3+b1_armhf.deb 09-Jan-2018 04:08 344560 libextlib-ocaml_1.7.7-2+b1_armhf.deb 09-Nov-2020 01:23 406808 libextlib-ocaml_1.7.8-2+b1_armhf.deb 03-Oct-2023 22:08 352256 libextlib-ocaml_1.7.8-2_armhf.deb 28-Feb-2022 10:08 356132
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.