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.
../ ocplib-simplex-ocaml-dev_0.4-1_arm64.deb 15-Nov-2017 17:39 268376 ocplib-simplex-ocaml-dev_0.4-1_armhf.deb 15-Nov-2017 17:39 257776 ocplib-simplex-ocaml-dev_0.4-2build1_arm64.deb 21-Feb-2020 02:03 270768 ocplib-simplex-ocaml-dev_0.4-2build1_armhf.deb 21-Feb-2020 02:03 259332 ocplib-simplex-ocaml-dev_0.4-2build3_arm64.deb 24-Jan-2022 22:15 343406 ocplib-simplex-ocaml-dev_0.4-2build3_armhf.deb 24-Jan-2022 22:15 339374 ocplib-simplex-ocaml-dev_0.5-4build5_arm64.deb 19-Feb-2024 19:32 772448 ocplib-simplex-ocaml-dev_0.5-4build5_armhf.deb 19-Feb-2024 19:32 763402 ocplib-simplex-ocaml-dev_0.5.1-2build5_arm64.deb 13-Aug-2024 14:40 1133518 ocplib-simplex-ocaml-dev_0.5.1-2build5_armhf.deb 13-Aug-2024 18:40 1018822 ocplib-simplex_0.4-1.debian.tar.xz 15-Nov-2017 17:39 2704 ocplib-simplex_0.4-1.dsc 15-Nov-2017 17:39 2148 ocplib-simplex_0.4-2build1.debian.tar.xz 21-Feb-2020 01:54 2888 ocplib-simplex_0.4-2build1.dsc 21-Feb-2020 01:54 2224 ocplib-simplex_0.4-2build3.debian.tar.xz 24-Jan-2022 21:29 2964 ocplib-simplex_0.4-2build3.dsc 24-Jan-2022 21:29 2249 ocplib-simplex_0.4.orig.tar.gz 15-Nov-2017 17:39 31784 ocplib-simplex_0.5-4build5.debian.tar.xz 19-Feb-2024 18:47 2668 ocplib-simplex_0.5-4build5.dsc 19-Feb-2024 18:47 2190 ocplib-simplex_0.5.1-2build5.debian.tar.xz 09-Aug-2024 13:49 2720 ocplib-simplex_0.5.1-2build5.dsc 09-Aug-2024 13:49 2210 ocplib-simplex_0.5.1.orig.tar.gz 04-Jun-2024 11:43 34208 ocplib-simplex_0.5.orig.tar.gz 21-Jul-2023 11:54 31912
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.