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.2.1-1_all.deb 25-Aug-2024 05:18 376652 opam-installer_2.0.3-1+deb10u1_amd64.deb 01-May-2020 20:55 864084 opam-installer_2.0.3-1+deb10u1_arm64.deb 01-May-2020 20:40 969628 opam-installer_2.0.3-1+deb10u1_i386.deb 01-May-2020 20:45 772244 opam-installer_2.0.8-1_amd64.deb 28-Feb-2021 19:42 1104136 opam-installer_2.0.8-1_arm64.deb 28-Feb-2021 19:42 1288900 opam-installer_2.0.8-1_i386.deb 28-Feb-2021 19:42 1058852 opam-installer_2.1.2-1_amd64.deb 14-Feb-2022 16:27 1127392 opam-installer_2.1.2-1_arm64.deb 14-Feb-2022 16:27 1311752 opam-installer_2.1.2-1_i386.deb 14-Feb-2022 16:17 1064608 opam-installer_2.2.1-1_amd64.deb 25-Aug-2024 05:18 1405604 opam-installer_2.2.1-1_arm64.deb 25-Aug-2024 05:23 1591600 opam-installer_2.2.1-1_i386.deb 25-Aug-2024 05:18 434640 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_amd64.deb 01-May-2020 20:55 1642524 opam_2.0.3-1+deb10u1_arm64.deb 01-May-2020 20:40 1846876 opam_2.0.3-1+deb10u1_i386.deb 01-May-2020 20:45 1433212 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_amd64.deb 28-Feb-2021 19:42 2006940 opam_2.0.8-1_arm64.deb 28-Feb-2021 19:42 2363984 opam_2.0.8-1_i386.deb 28-Feb-2021 19:42 1900772 opam_2.0.8.orig.tar.gz 28-Feb-2021 19:17 722694 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-1_amd64.deb 14-Feb-2022 16:27 2247612 opam_2.1.2-1_arm64.deb 14-Feb-2022 16:27 2669044 opam_2.1.2-1_i386.deb 14-Feb-2022 16:17 2097264 opam_2.1.2.orig.tar.gz 14-Feb-2022 15:51 805765 opam_2.2.1-1.debian.tar.xz 25-Aug-2024 05:03 8032 opam_2.2.1-1.dsc 25-Aug-2024 05:03 2551 opam_2.2.1-1_amd64.deb 25-Aug-2024 05:18 2828204 opam_2.2.1-1_arm64.deb 25-Aug-2024 05:23 3282680 opam_2.2.1-1_i386.deb 25-Aug-2024 05:18 683236 opam_2.2.1.orig.tar.gz 25-Aug-2024 05:03 1084079
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.