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.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.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.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.
Health stats visible at Monitor.