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.1.2-1_all.deb 14-Feb-2022 16:17 320452 opam-doc_2.3.0-1+deb13u1_all.deb 16-Apr-2026 14:19 381460 opam-doc_2.3.0-1_all.deb 07-Jan-2025 11:04 381340 opam-doc_2.5.1-2_all.deb 18-Apr-2026 06:08 407400 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.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.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_amd64.deb 07-Jan-2025 11:04 1399616 opam-installer_2.3.0-1_arm64.deb 07-Jan-2025 11:04 1595456 opam-installer_2.3.0-1_i386.deb 07-Jan-2025 10:59 438692 opam-installer_2.5.1-2_amd64.deb 18-Apr-2026 06:03 1501300 opam-installer_2.5.1-2_arm64.deb 18-Apr-2026 06:03 1698264 opam-installer_2.5.1-2_i386.deb 18-Apr-2026 06:03 479124 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-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.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.debian.tar.xz 07-Jan-2025 10:34 8040 opam_2.3.0-1.dsc 07-Jan-2025 10:34 2551 opam_2.3.0-1_amd64.deb 07-Jan-2025 11:04 2844488 opam_2.3.0-1_arm64.deb 07-Jan-2025 11:04 3302100 opam_2.3.0-1_i386.deb 07-Jan-2025 10:59 686356 opam_2.3.0.orig.tar.gz 07-Jan-2025 10:34 1124006 opam_2.5.1-2.debian.tar.xz 18-Apr-2026 05:38 8208 opam_2.5.1-2.dsc 18-Apr-2026 05:38 3048 opam_2.5.1-2.git.tar.xz 18-Apr-2026 05:38 1954312 opam_2.5.1-2_amd64.deb 18-Apr-2026 06:03 2952220 opam_2.5.1-2_arm64.deb 18-Apr-2026 06:03 3427772 opam_2.5.1-2_i386.deb 18-Apr-2026 06:03 721680 opam_2.5.1.orig.tar.gz 16-Apr-2026 06:19 1271520
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.