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-base-ocaml-dev_0.17.0-1+b11_amd64.deb 03-Apr-2026 16:43 9246316 libppx-base-ocaml-dev_0.17.0-1+b11_arm64.deb 03-Apr-2026 16:23 10759192 libppx-base-ocaml-dev_0.17.0-1+b11_i386.deb 03-Apr-2026 16:38 955980 libppx-base-ocaml-dev_0.17.0-1+b8_amd64.deb 14-Jun-2025 17:59 8849572 libppx-base-ocaml-dev_0.17.0-1+b8_arm64.deb 14-Jun-2025 19:16 10330056 libppx-base-ocaml-dev_0.17.0-1+b8_i386.deb 14-Jun-2025 19:11 914508 libppx-base-ocaml_0.17.0-1+b11_amd64.deb 03-Apr-2026 16:43 5476 libppx-base-ocaml_0.17.0-1+b11_arm64.deb 03-Apr-2026 16:23 5628 libppx-base-ocaml_0.17.0-1+b11_i386.deb 03-Apr-2026 16:38 4096 libppx-base-ocaml_0.17.0-1+b8_amd64.deb 14-Jun-2025 17:59 5516 libppx-base-ocaml_0.17.0-1+b8_arm64.deb 14-Jun-2025 19:16 5624 libppx-base-ocaml_0.17.0-1+b8_i386.deb 14-Jun-2025 19:11 4136 ppx-base_0.17.0-1.debian.tar.xz 13-Jun-2024 16:01 2352 ppx-base_0.17.0-1.dsc 13-Jun-2024 16:01 2250 ppx-base_0.17.0.orig.tar.gz 13-Jun-2024 16:01 3047
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.