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-bin-prot-ocaml-dev_0.14.0-1build5_amd64.deb 26-Jan-2022 00:29 413060 libppx-bin-prot-ocaml-dev_0.16.0-3build2_amd64.deb 16-Feb-2024 16:57 447434 libppx-bin-prot-ocaml-dev_0.17.0-1build5_amd64.deb 14-Feb-2025 20:35 529590 libppx-bin-prot-ocaml-dev_0.17.0-1build6_amd64.deb 18-Jun-2025 00:15 527754 libppx-bin-prot-ocaml-dev_0.17.1-1build1_amd64.deb 31-Dec-2025 15:52 584564 libppx-bin-prot-ocaml-dev_0.17.1-1build2_amd64.deb 26-Jan-2026 14:48 584592 libppx-bin-prot-ocaml-dev_0.17.1-1build3_amd64.deb 28-Feb-2026 00:10 584642 libppx-bin-prot-ocaml_0.14.0-1build5_amd64.deb 26-Jan-2022 00:29 230254 libppx-bin-prot-ocaml_0.16.0-3build2_amd64.deb 16-Feb-2024 16:58 240308 libppx-bin-prot-ocaml_0.17.0-1build5_amd64.deb 14-Feb-2025 20:35 239368 libppx-bin-prot-ocaml_0.17.0-1build6_amd64.deb 18-Jun-2025 00:15 238488 libppx-bin-prot-ocaml_0.17.1-1build1_amd64.deb 31-Dec-2025 15:52 264364 libppx-bin-prot-ocaml_0.17.1-1build2_amd64.deb 26-Jan-2026 14:48 264428 libppx-bin-prot-ocaml_0.17.1-1build3_amd64.deb 28-Feb-2026 00:10 264482 ppx-bin-prot_0.14.0-1build5.debian.tar.xz 26-Jan-2022 00:29 2468 ppx-bin-prot_0.14.0-1build5.dsc 26-Jan-2022 00:29 2355 ppx-bin-prot_0.14.0.orig.tar.gz 31-Jul-2020 17:18 36642 ppx-bin-prot_0.16.0-3build2.debian.tar.xz 16-Feb-2024 16:12 2616 ppx-bin-prot_0.16.0-3build2.dsc 16-Feb-2024 16:12 2256 ppx-bin-prot_0.16.0.orig.tar.gz 05-Jul-2023 01:10 37632 ppx-bin-prot_0.17.0-1build5.debian.tar.xz 13-Feb-2025 23:33 2752 ppx-bin-prot_0.17.0-1build5.dsc 13-Feb-2025 23:33 2282 ppx-bin-prot_0.17.0-1build6.debian.tar.xz 17-Jun-2025 03:34 2772 ppx-bin-prot_0.17.0-1build6.dsc 17-Jun-2025 03:34 2282 ppx-bin-prot_0.17.0.orig.tar.gz 05-Jul-2024 23:40 39491 ppx-bin-prot_0.17.1-1build1.debian.tar.xz 30-Dec-2025 07:14 2664 ppx-bin-prot_0.17.1-1build1.dsc 30-Dec-2025 07:14 2282 ppx-bin-prot_0.17.1-1build2.debian.tar.xz 25-Jan-2026 23:06 2676 ppx-bin-prot_0.17.1-1build2.dsc 25-Jan-2026 23:06 2282 ppx-bin-prot_0.17.1-1build3.debian.tar.xz 28-Feb-2026 00:08 2736 ppx-bin-prot_0.17.1-1build3.dsc 28-Feb-2026 00:08 2282 ppx-bin-prot_0.17.1.orig.tar.gz 18-Oct-2025 11:32 39491
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.