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.8.2-1+b1_amd64.deb 13-Oct-2020 22:27 562800 libocp-indent-ocaml-dev_1.8.2-1+b1_arm64.deb 13-Oct-2020 22:27 562108 libocp-indent-ocaml-dev_1.8.2-1+b1_i386.deb 13-Oct-2020 22:27 561984 libocp-indent-ocaml-dev_1.8.2-2+b2_amd64.deb 12-Feb-2023 21:11 568760 libocp-indent-ocaml-dev_1.8.2-2+b2_arm64.deb 12-Feb-2023 21:27 568496 libocp-indent-ocaml-dev_1.8.2-2+b2_i386.deb 12-Feb-2023 21:22 566464 libocp-indent-ocaml-dev_1.8.2-5+b5_amd64.deb 14-Jun-2025 13:30 771896 libocp-indent-ocaml-dev_1.8.2-5+b5_arm64.deb 14-Jun-2025 16:25 768756 libocp-indent-ocaml-dev_1.8.2-5+b5_i386.deb 14-Jun-2025 14:27 662188 libocp-indent-ocaml_1.8.2-1+b1_amd64.deb 13-Oct-2020 22:27 273188 libocp-indent-ocaml_1.8.2-1+b1_arm64.deb 13-Oct-2020 22:27 281024 libocp-indent-ocaml_1.8.2-1+b1_i386.deb 13-Oct-2020 22:27 269192 libocp-indent-ocaml_1.8.2-2+b2_amd64.deb 12-Feb-2023 21:11 276392 libocp-indent-ocaml_1.8.2-2+b2_arm64.deb 12-Feb-2023 21:27 285400 libocp-indent-ocaml_1.8.2-2+b2_i386.deb 12-Feb-2023 21:22 270648 libocp-indent-ocaml_1.8.2-5+b5_amd64.deb 14-Jun-2025 13:30 284988 libocp-indent-ocaml_1.8.2-5+b5_arm64.deb 14-Jun-2025 16:25 294224 libocp-indent-ocaml_1.8.2-5+b5_i386.deb 14-Jun-2025 14:27 200812 ocp-indent_1.8.2-1+b1_amd64.deb 13-Oct-2020 22:27 918688 ocp-indent_1.8.2-1+b1_arm64.deb 13-Oct-2020 22:27 1064084 ocp-indent_1.8.2-1+b1_i386.deb 13-Oct-2020 22:27 880320 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_amd64.deb 12-Feb-2023 21:11 976460 ocp-indent_1.8.2-2+b2_arm64.deb 12-Feb-2023 21:27 1134068 ocp-indent_1.8.2-2+b2_i386.deb 12-Feb-2023 21:22 925348 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+b5_amd64.deb 14-Jun-2025 13:30 708132 ocp-indent_1.8.2-5+b5_arm64.deb 14-Jun-2025 16:25 785752 ocp-indent_1.8.2-5+b5_i386.deb 14-Jun-2025 14:27 315652 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.