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.5-1ubuntu1_all.deb 13-Apr-2020 02:33 201992 opam-doc_2.1.2-1_all.deb 15-Feb-2022 06:10 291346 opam-doc_2.1.5-1_all.deb 04-Sep-2023 08:50 296140 opam-doc_2.2.1-1_all.deb 08-Sep-2024 18:09 329708 opam-docs_1.1.1-1_all.deb 02-Feb-2014 17:38 259838 opam-docs_1.2.2-4_all.deb 22-Dec-2015 23:20 309742 opam-docs_1.2.2-6_all.deb 22-Jul-2017 05:18 309594 opam-installer_2.0.5-1ubuntu1_arm64.deb 13-Apr-2020 02:33 1273912 opam-installer_2.0.5-1ubuntu1_armhf.deb 13-Apr-2020 02:38 1009796 opam-installer_2.1.2-1_arm64.deb 15-Feb-2022 06:10 1544178 opam-installer_2.1.2-1_armhf.deb 15-Feb-2022 06:11 1242080 opam-installer_2.1.5-1_arm64.deb 04-Sep-2023 08:50 1541394 opam-installer_2.1.5-1_armhf.deb 04-Sep-2023 08:50 1238652 opam-installer_2.2.1-1_arm64.deb 08-Sep-2024 18:09 1790818 opam-installer_2.2.1-1_armhf.deb 08-Sep-2024 18:09 394212 opam_1.1.1-1.debian.tar.xz 02-Feb-2014 17:13 5848 opam_1.1.1-1.dsc 02-Feb-2014 17:13 2297 opam_1.1.1-1_arm64.deb 02-Feb-2014 18:28 4674686 opam_1.1.1-1_armhf.deb 02-Feb-2014 17:13 1080042 opam_1.1.1.orig.tar.gz 02-Feb-2014 17:13 304496 opam_1.2.2-4.debian.tar.xz 22-Dec-2015 23:19 6720 opam_1.2.2-4.dsc 22-Dec-2015 23:19 2343 opam_1.2.2-4_arm64.deb 22-Dec-2015 23:20 1459456 opam_1.2.2-4_armhf.deb 22-Dec-2015 23:49 1402648 opam_1.2.2-6.debian.tar.xz 22-Jul-2017 05:08 7308 opam_1.2.2-6.dsc 22-Jul-2017 05:08 2370 opam_1.2.2-6_arm64.deb 22-Jul-2017 05:18 2407410 opam_1.2.2-6_armhf.deb 22-Jul-2017 05:23 2307324 opam_1.2.2.orig.tar.gz 30-Jul-2015 11:19 410254 opam_2.0.5-1ubuntu1.debian.tar.xz 13-Apr-2020 02:28 8908 opam_2.0.5-1ubuntu1.dsc 13-Apr-2020 02:28 2616 opam_2.0.5-1ubuntu1_arm64.deb 13-Apr-2020 02:33 2492036 opam_2.0.5-1ubuntu1_armhf.deb 13-Apr-2020 02:38 1918280 opam_2.0.5.orig.tar.gz 17-Aug-2019 23:13 619527 opam_2.1.2-1.debian.tar.xz 15-Feb-2022 05:20 10732 opam_2.1.2-1.dsc 15-Feb-2022 05:20 2296 opam_2.1.2-1_arm64.deb 15-Feb-2022 06:10 3273584 opam_2.1.2-1_armhf.deb 15-Feb-2022 06:11 2545104 opam_2.1.2.orig.tar.gz 15-Feb-2022 05:20 805765 opam_2.1.5-1.debian.tar.xz 04-Sep-2023 08:49 8596 opam_2.1.5-1.dsc 04-Sep-2023 08:49 2426 opam_2.1.5-1_arm64.deb 04-Sep-2023 08:50 3195494 opam_2.1.5-1_armhf.deb 04-Sep-2023 08:50 2537146 opam_2.1.5.orig.tar.gz 04-Sep-2023 08:49 838523 opam_2.2.1-1.debian.tar.xz 03-Sep-2024 22:50 8032 opam_2.2.1-1.dsc 03-Sep-2024 22:50 2551 opam_2.2.1-1_arm64.deb 08-Sep-2024 18:09 3827912 opam_2.2.1-1_armhf.deb 08-Sep-2024 18:09 714976 opam_2.2.1.orig.tar.gz 03-Sep-2024 22:50 1084079
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.