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_armhf.deb 22-Dec-2020 10:08 412332 libppx-bin-prot-ocaml-dev_0.15.0-1+b2_armhf.deb 20-May-2023 16:08 399636 libppx-bin-prot-ocaml-dev_0.16.0-3+b2_armhf.deb 25-Feb-2024 10:08 399904 libppx-bin-prot-ocaml_0.14.0-1+b3_armhf.deb 22-Dec-2020 10:08 198084 libppx-bin-prot-ocaml_0.15.0-1+b2_armhf.deb 20-May-2023 16:08 207808 libppx-bin-prot-ocaml_0.16.0-3+b2_armhf.deb 25-Feb-2024 10:08 207604 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.16.0-3.debian.tar.xz 13-Sep-2023 04:38 2528 ppx-bin-prot_0.16.0-3.dsc 13-Sep-2023 04:38 2029 ppx-bin-prot_0.16.0.orig.tar.gz 04-Jul-2023 08:09 37632
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.