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+deb13u2_all.deb 10-Jul-2026 15:23 381512 opam-doc_2.6.1-1_all.deb 24-Oct-2026 08:32 421604 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+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.6.1-1_amd64.deb 24-Oct-2026 08:37 1520784 opam-installer_2.6.1-1_arm64.deb 24-Oct-2026 08:27 1710416 opam-installer_2.6.1-1_i386.deb 24-Oct-2026 08:32 488984 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+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.6.1-1.debian.tar.xz 24-Oct-2026 08:02 8264 opam_2.6.1-1.dsc 24-Oct-2026 08:02 2632 opam_2.6.1-1_amd64.deb 24-Oct-2026 08:37 3150644 opam_2.6.1-1_arm64.deb 24-Oct-2026 08:27 3641228 opam_2.6.1-1_i386.deb 24-Oct-2026 08:32 768248 opam_2.6.1.orig.tar.gz 24-Oct-2026 08:02 1365752
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.