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.3-1+deb10u1_all.deb 01-May-2020 20:40 218540 opam-doc_2.0.8-1_all.deb 28-Feb-2021 19:37 238648 opam-doc_2.1.2-1_all.deb 14-Feb-2022 16:17 320452 opam-doc_2.3.0-1_all.deb 07-Jan-2025 11:04 381340 opam-installer_2.0.3-1+deb10u1_amd64.deb 01-May-2020 20:55 864084 opam-installer_2.0.3-1+deb10u1_arm64.deb 01-May-2020 20:40 969628 opam-installer_2.0.3-1+deb10u1_i386.deb 01-May-2020 20:45 772244 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_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_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_2.0.3-1+deb10u1.debian.tar.xz 28-Apr-2020 07:25 12216 opam_2.0.3-1+deb10u1.dsc 28-Apr-2020 07:25 2213 opam_2.0.3-1+deb10u1_amd64.deb 01-May-2020 20:55 1642524 opam_2.0.3-1+deb10u1_arm64.deb 01-May-2020 20:40 1846876 opam_2.0.3-1+deb10u1_i386.deb 01-May-2020 20:45 1433212 opam_2.0.3.orig.tar.gz 01-Feb-2019 11:31 618266 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.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.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
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.