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-doc_2.3.0-1_all.deb 07-Jan-2025 18:01 330790 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_amd64.deb 13-Apr-2020 02:33 1043116 opam-installer_2.1.2-1_amd64.deb 15-Feb-2022 06:10 1273496 opam-installer_2.1.5-1_amd64.deb 04-Sep-2023 08:50 1255714 opam-installer_2.2.1-1_amd64.deb 08-Sep-2024 18:09 1504950 opam-installer_2.3.0-1_amd64.deb 07-Jan-2025 18:01 1505824 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_amd64.deb 02-Feb-2014 17:38 1105622 opam_1.1.1-1_i386.deb 02-Feb-2014 17:39 1030346 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_amd64.deb 22-Dec-2015 23:20 1447206 opam_1.2.2-4_i386.deb 22-Dec-2015 23:20 1436076 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_amd64.deb 22-Jul-2017 05:18 2276638 opam_1.2.2-6_i386.deb 22-Jul-2017 05:18 2014220 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_amd64.deb 13-Apr-2020 02:33 2006680 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_amd64.deb 15-Feb-2022 06:10 2577834 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_amd64.deb 04-Sep-2023 08:50 2584466 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_amd64.deb 08-Sep-2024 18:09 3149834 opam_2.2.1.orig.tar.gz 03-Sep-2024 22:50 1084079 opam_2.3.0-1.debian.tar.xz 07-Jan-2025 18:01 8040 opam_2.3.0-1.dsc 07-Jan-2025 18:01 2551 opam_2.3.0-1_amd64.deb 07-Jan-2025 18:01 3166918 opam_2.3.0.orig.tar.gz 07-Jan-2025 18:01 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.