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-1+b1_amd64.deb 13-Feb-2023 01:29 3060504 libppx-import-ocaml-dev_1.10.0-1+b1_arm64.deb 13-Feb-2023 01:14 3579200 libppx-import-ocaml-dev_1.10.0-1+b1_i386.deb 13-Feb-2023 01:40 2823840 libppx-import-ocaml-dev_1.11.0-2+b7_amd64.deb 14-Jun-2025 17:32 3764780 libppx-import-ocaml-dev_1.11.0-2+b7_arm64.deb 14-Jun-2025 18:40 4339212 libppx-import-ocaml-dev_1.11.0-2+b7_i386.deb 14-Jun-2025 18:40 807496 libppx-import-ocaml-dev_1.12.0-2+b1_amd64.deb 15-Oct-2026 23:30 3991960 libppx-import-ocaml-dev_1.12.0-2+b1_arm64.deb 15-Oct-2026 23:25 4595632 libppx-import-ocaml-dev_1.12.0-2+b1_i386.deb 15-Oct-2026 23:30 829524 libppx-import-ocaml_1.10.0-1+b1_amd64.deb 13-Feb-2023 01:29 59700 libppx-import-ocaml_1.10.0-1+b1_arm64.deb 13-Feb-2023 01:14 60956 libppx-import-ocaml_1.10.0-1+b1_i386.deb 13-Feb-2023 01:40 58144 libppx-import-ocaml_1.11.0-2+b7_amd64.deb 14-Jun-2025 17:32 64592 libppx-import-ocaml_1.11.0-2+b7_arm64.deb 14-Jun-2025 18:40 65588 libppx-import-ocaml_1.11.0-2+b7_i386.deb 14-Jun-2025 18:40 44932 libppx-import-ocaml_1.12.0-2+b1_amd64.deb 15-Oct-2026 23:30 63540 libppx-import-ocaml_1.12.0-2+b1_arm64.deb 15-Oct-2026 23:25 64920 libppx-import-ocaml_1.12.0-2+b1_i386.deb 15-Oct-2026 23:30 43208 ppx-import_1.10.0-1.debian.tar.xz 13-Oct-2022 06:51 2152 ppx-import_1.10.0-1.dsc 13-Oct-2022 06:51 2239 ppx-import_1.10.0.orig.tar.gz 13-Oct-2022 06:51 13927 ppx-import_1.11.0-2.debian.tar.xz 18-Jun-2024 07:25 2252 ppx-import_1.11.0-2.dsc 18-Jun-2024 07:25 1987 ppx-import_1.11.0.orig.tar.gz 04-Jun-2024 03:57 14018 ppx-import_1.12.0-2.debian.tar.xz 30-Jun-2026 08:09 3260 ppx-import_1.12.0-2.dsc 30-Jun-2026 08:09 2464 ppx-import_1.12.0-2.git.tar.xz 30-Jun-2026 08:09 43472 ppx-import_1.12.0.orig.tar.gz 17-Oct-2025 06:22 14378
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.