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-optcomp-ocaml-dev_0.14.0-1+b3_armhf.deb 21-Dec-2020 13:59 235444 libppx-optcomp-ocaml-dev_0.15.0-1+b3_armhf.deb 19-May-2023 16:08 241252 libppx-optcomp-ocaml-dev_0.16.0-3+b4_armhf.deb 23-Feb-2024 22:08 238824 libppx-optcomp-ocaml_0.14.0-1+b3_armhf.deb 21-Dec-2020 13:59 117780 libppx-optcomp-ocaml_0.15.0-1+b3_armhf.deb 19-May-2023 16:08 119692 libppx-optcomp-ocaml_0.16.0-3+b4_armhf.deb 23-Feb-2024 22:08 119340 ppx-optcomp_0.14.0-1.debian.tar.xz 29-Jul-2020 09:16 2348 ppx-optcomp_0.14.0-1.dsc 29-Jul-2020 09:16 1962 ppx-optcomp_0.14.0.orig.tar.gz 29-Jul-2020 09:16 16583 ppx-optcomp_0.15.0-1.debian.tar.xz 21-Jan-2022 05:22 2372 ppx-optcomp_0.15.0-1.dsc 21-Jan-2022 05:22 1986 ppx-optcomp_0.15.0.orig.tar.gz 21-Jan-2022 05:22 16692 ppx-optcomp_0.16.0-3.debian.tar.xz 06-Aug-2023 06:14 2360 ppx-optcomp_0.16.0-3.dsc 06-Aug-2023 06:14 1995 ppx-optcomp_0.16.0.orig.tar.gz 03-Jul-2023 10:05 16789
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.