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.
../ opam-doc_2.0.3-1+deb10u1_all.deb 01-May-2020 20:40 218540 opam-doc_2.0.8-1_all.deb 28-Feb-2021 19:37 238648 opam-doc_2.1.2-1_all.deb 14-Feb-2022 16:17 320452 opam-doc_2.1.5-1_all.deb 02-Sep-2023 06:20 324900 opam-doc_2.1.6-1_all.deb 01-Jun-2024 16:33 324740 opam-installer_2.0.3-1+deb10u1_armhf.deb 09-May-2020 22:08 750708 opam-installer_2.0.8-1_armhf.deb 11-Mar-2021 10:08 1020244 opam-installer_2.1.2-1+b1_armhf.deb 28-Oct-2022 10:08 1031424 opam-installer_2.1.5-1_armhf.deb 15-Sep-2023 16:08 1032472 opam_2.0.3-1+deb10u1.debian.tar.xz 28-Apr-2020 07:25 12216 opam_2.0.3-1+deb10u1.dsc 28-Apr-2020 07:25 2213 opam_2.0.3-1+deb10u1_armhf.deb 09-May-2020 22:08 1405468 opam_2.0.3.orig.tar.gz 01-Feb-2019 11:31 618266 opam_2.0.8-1.debian.tar.xz 28-Feb-2021 19:17 10596 opam_2.0.8-1.dsc 28-Feb-2021 19:17 2596 opam_2.0.8-1_armhf.deb 11-Mar-2021 10:08 1836808 opam_2.0.8.orig.tar.gz 28-Feb-2021 19:17 722694 opam_2.1.2-1+b1_armhf.deb 28-Oct-2022 10:08 2041728 opam_2.1.2-1.debian.tar.xz 14-Feb-2022 15:51 10732 opam_2.1.2-1.dsc 14-Feb-2022 15:51 2296 opam_2.1.2.orig.tar.gz 14-Feb-2022 15:51 805765 opam_2.1.5-1.debian.tar.xz 02-Sep-2023 05:49 8596 opam_2.1.5-1.dsc 02-Sep-2023 05:49 2426 opam_2.1.5-1_armhf.deb 15-Sep-2023 16:08 2041984 opam_2.1.5.orig.tar.gz 02-Sep-2023 05:49 838523 opam_2.1.6-1.debian.tar.xz 01-Jun-2024 15:53 9008 opam_2.1.6-1.dsc 01-Jun-2024 15:53 2638 opam_2.1.6.orig.tar.gz 01-Jun-2024 15:53 837526
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.