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-1+b3_amd64.deb 18-Dec-2020 20:13 401272 libppx-bin-prot-ocaml-dev_0.14.0-1+b3_arm64.deb 18-Dec-2020 20:13 404308 libppx-bin-prot-ocaml-dev_0.14.0-1+b3_i386.deb 18-Dec-2020 20:13 400476 libppx-bin-prot-ocaml-dev_0.15.0-1+b1_amd64.deb 13-Feb-2023 07:44 387816 libppx-bin-prot-ocaml-dev_0.15.0-1+b1_arm64.deb 13-Feb-2023 07:44 391068 libppx-bin-prot-ocaml-dev_0.15.0-1+b1_i386.deb 13-Feb-2023 07:44 387156 libppx-bin-prot-ocaml-dev_0.17.0-1+b7_amd64.deb 14-Jun-2025 18:40 520404 libppx-bin-prot-ocaml-dev_0.17.0-1+b7_arm64.deb 14-Jun-2025 19:42 522432 libppx-bin-prot-ocaml-dev_0.17.0-1+b7_i386.deb 14-Jun-2025 19:37 442400 libppx-bin-prot-ocaml-dev_0.17.1-1_amd64.deb 10-Sep-2025 23:25 527420 libppx-bin-prot-ocaml-dev_0.17.1-1_arm64.deb 11-Sep-2025 00:26 530380 libppx-bin-prot-ocaml-dev_0.17.1-1_i386.deb 10-Sep-2025 22:28 448332 libppx-bin-prot-ocaml_0.14.0-1+b3_amd64.deb 18-Dec-2020 20:13 193748 libppx-bin-prot-ocaml_0.14.0-1+b3_arm64.deb 18-Dec-2020 20:13 201144 libppx-bin-prot-ocaml_0.14.0-1+b3_i386.deb 18-Dec-2020 20:13 188804 libppx-bin-prot-ocaml_0.15.0-1+b1_amd64.deb 13-Feb-2023 07:44 203900 libppx-bin-prot-ocaml_0.15.0-1+b1_arm64.deb 13-Feb-2023 07:44 210572 libppx-bin-prot-ocaml_0.15.0-1+b1_i386.deb 13-Feb-2023 07:44 197988 libppx-bin-prot-ocaml_0.17.0-1+b7_amd64.deb 14-Jun-2025 18:40 231452 libppx-bin-prot-ocaml_0.17.0-1+b7_arm64.deb 14-Jun-2025 19:42 237448 libppx-bin-prot-ocaml_0.17.0-1+b7_i386.deb 14-Jun-2025 19:37 159264 libppx-bin-prot-ocaml_0.17.1-1_amd64.deb 10-Sep-2025 23:25 232160 libppx-bin-prot-ocaml_0.17.1-1_arm64.deb 11-Sep-2025 00:26 239264 libppx-bin-prot-ocaml_0.17.1-1_i386.deb 10-Sep-2025 22:28 159780 ppx-bin-prot_0.14.0-1.debian.tar.xz 31-Jul-2020 08:02 2188 ppx-bin-prot_0.14.0-1.dsc 31-Jul-2020 08:02 2000 ppx-bin-prot_0.14.0.orig.tar.gz 31-Jul-2020 08:02 36642 ppx-bin-prot_0.15.0-1.debian.tar.xz 03-Feb-2023 07:37 2472 ppx-bin-prot_0.15.0-1.dsc 03-Feb-2023 07:37 2000 ppx-bin-prot_0.15.0.orig.tar.gz 03-Feb-2023 07:37 37045 ppx-bin-prot_0.17.0-1.debian.tar.xz 05-Jul-2024 15:07 2568 ppx-bin-prot_0.17.0-1.dsc 05-Jul-2024 15:07 2283 ppx-bin-prot_0.17.0.orig.tar.gz 05-Jul-2024 15:07 39491 ppx-bin-prot_0.17.1-1.debian.tar.xz 10-Sep-2025 12:18 2584 ppx-bin-prot_0.17.1-1.dsc 10-Sep-2025 12:18 2055 ppx-bin-prot_0.17.1.orig.tar.gz 10-Sep-2025 12:18 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.