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.
../ libocp-indent-ocaml-dev_1.7.0-1_armhf.deb 18-Jan-2019 16:08 498084 libocp-indent-ocaml-dev_1.8.2-1+b1_armhf.deb 09-Nov-2020 01:23 565900 libocp-indent-ocaml-dev_1.8.2-2+b2_armhf.deb 20-May-2023 16:08 570244 libocp-indent-ocaml-dev_1.8.2-5+b1_armhf.deb 03-Oct-2023 22:08 572248 libocp-indent-ocaml_1.7.0-1_armhf.deb 18-Jan-2019 16:08 233472 libocp-indent-ocaml_1.8.2-1+b1_armhf.deb 09-Nov-2020 01:23 271440 libocp-indent-ocaml_1.8.2-2+b2_armhf.deb 20-May-2023 16:08 273236 libocp-indent-ocaml_1.8.2-5+b1_armhf.deb 03-Oct-2023 22:08 272544 ocp-indent_1.7.0-1.debian.tar.xz 16-Dec-2018 18:19 16420 ocp-indent_1.7.0-1.dsc 16-Dec-2018 18:19 2195 ocp-indent_1.7.0-1_armhf.deb 18-Jan-2019 16:08 429412 ocp-indent_1.7.0.orig.tar.gz 16-Dec-2018 18:19 126577 ocp-indent_1.8.2-1+b1_armhf.deb 09-Nov-2020 01:23 833908 ocp-indent_1.8.2-1.debian.tar.xz 18-Aug-2020 08:06 16408 ocp-indent_1.8.2-1.dsc 18-Aug-2020 08:06 1963 ocp-indent_1.8.2-2+b2_armhf.deb 20-May-2023 16:08 875472 ocp-indent_1.8.2-2.debian.tar.xz 15-Oct-2022 05:50 16576 ocp-indent_1.8.2-2.dsc 15-Oct-2022 05:50 2192 ocp-indent_1.8.2-5+b1_armhf.deb 03-Oct-2023 22:08 913048 ocp-indent_1.8.2-5.debian.tar.xz 13-Sep-2023 04:43 16600 ocp-indent_1.8.2-5.dsc 13-Sep-2023 04:43 1993 ocp-indent_1.8.2.orig.tar.gz 18-Aug-2020 08:06 109681
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.