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+deb11u1_all.deb 20-Apr-2026 17:51 238700 opam-doc_2.1.2-1+deb12u2_all.deb 13-Jul-2026 10:02 323392 opam-doc_2.3.0-1+deb13u2_all.deb 10-Jul-2026 15:23 381512 opam-installer_2.0.8-1+deb11u1_amd64.deb 20-Apr-2026 17:51 1105384 opam-installer_2.0.8-1+deb11u1_arm64.deb 20-Apr-2026 17:51 1284084 opam-installer_2.0.8-1+deb11u1_i386.deb 20-Apr-2026 17:51 1059628 opam-installer_2.1.2-1+deb12u2_amd64.deb 13-Jul-2026 10:02 1136768 opam-installer_2.1.2-1+deb12u2_arm64.deb 13-Jul-2026 10:02 1319484 opam-installer_2.1.2-1+deb12u2_i386.deb 13-Jul-2026 10:02 1072980 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_2.0.8-1+deb11u1.debian.tar.xz 20-Apr-2026 17:36 11500 opam_2.0.8-1+deb11u1.dsc 20-Apr-2026 17:36 2603 opam_2.0.8-1+deb11u1_amd64.deb 20-Apr-2026 17:51 2007960 opam_2.0.8-1+deb11u1_arm64.deb 20-Apr-2026 17:51 2377856 opam_2.0.8-1+deb11u1_i386.deb 20-Apr-2026 17:51 1900452 opam_2.0.8.orig.tar.gz 20-Apr-2026 17:36 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+deb12u2.debian.tar.xz 13-Jul-2026 09:42 19928 opam_2.1.2-1+deb12u2.dsc 13-Jul-2026 09:42 2365 opam_2.1.2-1+deb12u2_amd64.deb 13-Jul-2026 10:02 2258472 opam_2.1.2-1+deb12u2_arm64.deb 13-Jul-2026 10:02 2668240 opam_2.1.2-1+deb12u2_i386.deb 13-Jul-2026 10:02 2107976 opam_2.1.2.orig.tar.gz 16-Apr-2026 14:14 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 16-Apr-2026 14:09 1124006
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.