The hardware and bandwidth for this mirror is donated by METANET, the Webhosting and Full Service-Cloud Provider.
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[@]metanet.ch.
../ 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.0-1_all.deb 02-Dec-2025 15:15 407364 opam-doc_2.5.1-1_all.deb 16-Apr-2026 06:44 407348 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.0-1_amd64.deb 02-Dec-2025 15:15 1489496 opam-installer_2.5.0-1_arm64.deb 02-Dec-2025 15:15 1689596 opam-installer_2.5.0-1_i386.deb 02-Dec-2025 15:25 474028 opam-installer_2.5.1-1_amd64.deb 16-Apr-2026 06:49 1502440 opam-installer_2.5.1-1_arm64.deb 16-Apr-2026 06:49 1698560 opam-installer_2.5.1-1_i386.deb 16-Apr-2026 06:49 479128 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.0-1.debian.tar.xz 02-Dec-2025 14:50 8092 opam_2.5.0-1.dsc 02-Dec-2025 14:50 2571 opam_2.5.0-1_amd64.deb 02-Dec-2025 15:15 2937952 opam_2.5.0-1_arm64.deb 02-Dec-2025 15:15 3426060 opam_2.5.0-1_i386.deb 02-Dec-2025 15:25 717076 opam_2.5.0.orig.tar.gz 02-Dec-2025 14:50 1270638 opam_2.5.1-1.debian.tar.xz 16-Apr-2026 06:19 8180 opam_2.5.1-1.dsc 16-Apr-2026 06:19 2589 opam_2.5.1-1_amd64.deb 16-Apr-2026 06:49 2950484 opam_2.5.1-1_arm64.deb 16-Apr-2026 06:49 3422884 opam_2.5.1-1_i386.deb 16-Apr-2026 06:49 721528 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.