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.8-1_all.deb 28-Feb-2021 19:37 238648 opam-doc_2.1.2-1+deb12u1_all.deb 16-Apr-2026 14:29 323336 opam-doc_2.3.0-1+deb13u1_all.deb 16-Apr-2026 14:19 381460 opam-doc_2.3.0-1+deb13u2_all.deb 10-Jul-2026 15:23 381512 opam-doc_2.5.2-1_all.deb 09-Jul-2026 14:48 406972 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+deb12u1_amd64.deb 16-Apr-2026 14:34 1142220 opam-installer_2.1.2-1+deb12u1_arm64.deb 16-Apr-2026 14:34 1315032 opam-installer_2.1.2-1+deb12u1_i386.deb 16-Apr-2026 14:34 1072864 opam-installer_2.3.0-1+deb13u1_amd64.deb 16-Apr-2026 14:24 1412212 opam-installer_2.3.0-1+deb13u1_arm64.deb 16-Apr-2026 14:24 1606416 opam-installer_2.3.0-1+deb13u1_i386.deb 16-Apr-2026 14:24 451624 opam-installer_2.3.0-1+deb13u2_amd64.deb 10-Jul-2026 15:23 1412052 opam-installer_2.3.0-1+deb13u2_arm64.deb 10-Jul-2026 15:23 1597640 opam-installer_2.3.0-1+deb13u2_i386.deb 10-Jul-2026 15:23 451596 opam-installer_2.5.2-1_amd64.deb 09-Jul-2026 14:48 1503096 opam-installer_2.5.2-1_arm64.deb 09-Jul-2026 14:43 1691244 opam-installer_2.5.2-1_i386.deb 09-Jul-2026 14:48 480220 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+deb12u1.debian.tar.xz 16-Apr-2026 14:14 11608 opam_2.1.2-1+deb12u1.dsc 16-Apr-2026 14:14 2365 opam_2.1.2-1+deb12u1_amd64.deb 16-Apr-2026 14:34 2259000 opam_2.1.2-1+deb12u1_arm64.deb 16-Apr-2026 14:34 2682728 opam_2.1.2-1+deb12u1_i386.deb 16-Apr-2026 14:34 2106136 opam_2.1.2.orig.tar.gz 14-Feb-2022 15:51 805765 opam_2.3.0-1+deb13u1.debian.tar.xz 16-Apr-2026 14:09 8728 opam_2.3.0-1+deb13u1.dsc 16-Apr-2026 14:09 2491 opam_2.3.0-1+deb13u1_amd64.deb 16-Apr-2026 14:24 2865180 opam_2.3.0-1+deb13u1_arm64.deb 16-Apr-2026 14:24 3323112 opam_2.3.0-1+deb13u1_i386.deb 16-Apr-2026 14:24 700188 opam_2.3.0-1+deb13u2.debian.tar.xz 10-Jul-2026 15:03 17868 opam_2.3.0-1+deb13u2.dsc 10-Jul-2026 15:03 2494 opam_2.3.0-1+deb13u2_amd64.deb 10-Jul-2026 15:23 2864624 opam_2.3.0-1+deb13u2_arm64.deb 10-Jul-2026 15:23 3320120 opam_2.3.0-1+deb13u2_i386.deb 10-Jul-2026 15:23 700340 opam_2.3.0.orig.tar.gz 07-Jan-2025 10:34 1124006 opam_2.5.2-1.debian.tar.xz 09-Jul-2026 14:22 8232 opam_2.5.2-1.dsc 09-Jul-2026 14:22 2589 opam_2.5.2-1_amd64.deb 09-Jul-2026 14:48 2949416 opam_2.5.2-1_arm64.deb 09-Jul-2026 14:43 3406716 opam_2.5.2-1_i386.deb 09-Jul-2026 14:48 722440 opam_2.5.2.orig.tar.gz 09-Jul-2026 14:22 1277924
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.