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.
../ libppx-import-ocaml-dev_1.10.0-3build2_arm64.deb 16-Feb-2024 14:43 4610580 libppx-import-ocaml-dev_1.10.0-3build2_armhf.deb 16-Feb-2024 13:48 3672238 libppx-import-ocaml-dev_1.11.0-2build2_arm64.deb 05-Sep-2024 23:12 5119606 libppx-import-ocaml-dev_1.11.0-2build2_armhf.deb 05-Sep-2024 23:12 838864 libppx-import-ocaml-dev_1.9.0-1_arm64.deb 18-Feb-2022 22:10 4375758 libppx-import-ocaml-dev_1.9.0-1_armhf.deb 18-Feb-2022 22:10 3454182 libppx-import-ocaml_1.10.0-3build2_arm64.deb 16-Feb-2024 14:43 69574 libppx-import-ocaml_1.10.0-3build2_armhf.deb 16-Feb-2024 13:48 65850 libppx-import-ocaml_1.11.0-2build2_arm64.deb 05-Sep-2024 23:12 68202 libppx-import-ocaml_1.11.0-2build2_armhf.deb 05-Sep-2024 23:12 43822 libppx-import-ocaml_1.9.0-1_arm64.deb 18-Feb-2022 22:10 69400 libppx-import-ocaml_1.9.0-1_armhf.deb 18-Feb-2022 22:10 65582 ppx-import_1.10.0-3build2.debian.tar.xz 16-Feb-2024 12:54 2284 ppx-import_1.10.0-3build2.dsc 16-Feb-2024 12:54 2247 ppx-import_1.10.0.orig.tar.gz 06-Nov-2022 04:01 13927 ppx-import_1.11.0-2build2.debian.tar.xz 05-Sep-2024 22:07 2376 ppx-import_1.11.0-2build2.dsc 05-Sep-2024 22:07 2215 ppx-import_1.11.0.orig.tar.gz 04-Jun-2024 11:43 14018 ppx-import_1.9.0-1.debian.tar.xz 18-Feb-2022 17:45 2076 ppx-import_1.9.0-1.dsc 18-Feb-2022 17:45 2220 ppx-import_1.9.0.orig.tar.gz 18-Feb-2022 17:45 13648
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.