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.
../ ben_0.10.1ubuntu1.dsc 06-Feb-2023 10:29 2217 ben_0.10.1ubuntu1.tar.xz 06-Feb-2023 10:29 73436 ben_0.10.1ubuntu1_arm64.deb 06-Feb-2023 10:31 2572098 ben_0.10.1ubuntu1_armhf.deb 06-Feb-2023 10:31 2051894 ben_0.10.3ubuntu1.dsc 25-Sep-2023 15:48 2217 ben_0.10.3ubuntu1.tar.xz 25-Sep-2023 15:48 73692 ben_0.10.3ubuntu1_arm64.deb 25-Sep-2023 15:48 2598680 ben_0.10.3ubuntu1_armhf.deb 25-Sep-2023 15:48 2057942 ben_0.10.3ubuntu4.dsc 31-Mar-2024 17:45 2254 ben_0.10.3ubuntu4.tar.xz 31-Mar-2024 17:45 73788 ben_0.10.3ubuntu4_arm64.deb 31-Mar-2024 18:39 2657074 ben_0.10.3ubuntu4_armhf.deb 31-Mar-2024 18:39 2109100 ben_0.6.6ubuntu2.dsc 24-Dec-2013 08:48 1690 ben_0.6.6ubuntu2.tar.gz 24-Dec-2013 08:48 79122 ben_0.6.6ubuntu2_arm64.deb 24-Dec-2013 08:48 1939920 ben_0.6.6ubuntu2_armhf.deb 24-Dec-2013 08:48 889898 ben_0.7.3ubuntu2.dsc 12-Feb-2016 12:24 2412 ben_0.7.3ubuntu2.tar.xz 12-Feb-2016 12:24 66640 ben_0.7.3ubuntu2_arm64.deb 12-Feb-2016 12:26 1126106 ben_0.7.3ubuntu2_armhf.deb 12-Feb-2016 12:26 1156358 ben_0.7.7ubuntu2.dsc 28-Oct-2017 18:03 2409 ben_0.7.7ubuntu2.tar.xz 28-Oct-2017 18:03 62344 ben_0.7.7ubuntu2_arm64.deb 28-Oct-2017 18:04 1755628 ben_0.7.7ubuntu2_armhf.deb 28-Oct-2017 18:05 1433028 ben_0.9.0ubuntu2.dsc 21-Feb-2020 07:23 2353 ben_0.9.0ubuntu2.tar.xz 21-Feb-2020 07:23 67188 ben_0.9.0ubuntu2_arm64.deb 21-Feb-2020 14:33 1838112 ben_0.9.0ubuntu2_armhf.deb 21-Feb-2020 14:33 1463656 ben_0.9.2ubuntu5.dsc 25-Feb-2022 18:28 2316 ben_0.9.2ubuntu5.tar.xz 25-Feb-2022 18:28 80776 ben_0.9.2ubuntu5_arm64.deb 25-Feb-2022 18:54 2348470 ben_0.9.2ubuntu5_armhf.deb 25-Feb-2022 18:54 1880244 ben_1.7ubuntu5.dsc 24-Sep-2024 15:51 2187 ben_1.7ubuntu5.tar.xz 24-Sep-2024 15:51 82172 ben_1.7ubuntu5_arm64.deb 24-Sep-2024 19:36 1826560 ben_1.7ubuntu5_armhf.deb 24-Sep-2024 15:52 600282 libben-ocaml-dev_0.10.1ubuntu1_arm64.deb 06-Feb-2023 10:31 297562 libben-ocaml-dev_0.10.1ubuntu1_armhf.deb 06-Feb-2023 10:31 315600 libben-ocaml-dev_0.10.3ubuntu1_arm64.deb 25-Sep-2023 15:48 286644 libben-ocaml-dev_0.10.3ubuntu1_armhf.deb 25-Sep-2023 15:48 297762 libben-ocaml-dev_0.10.3ubuntu4_arm64.deb 31-Mar-2024 18:39 286110 libben-ocaml-dev_0.10.3ubuntu4_armhf.deb 31-Mar-2024 18:39 297156 libben-ocaml-dev_0.6.6ubuntu2_arm64.deb 24-Dec-2013 08:48 44206 libben-ocaml-dev_0.6.6ubuntu2_armhf.deb 24-Dec-2013 08:48 99186 libben-ocaml-dev_0.7.3ubuntu2_arm64.deb 12-Feb-2016 12:26 272184 libben-ocaml-dev_0.7.3ubuntu2_armhf.deb 12-Feb-2016 12:26 294528 libben-ocaml-dev_0.7.7ubuntu2_arm64.deb 28-Oct-2017 18:04 315460 libben-ocaml-dev_0.7.7ubuntu2_armhf.deb 28-Oct-2017 18:05 341324 libben-ocaml-dev_0.9.0ubuntu2_arm64.deb 21-Feb-2020 14:33 334904 libben-ocaml-dev_0.9.0ubuntu2_armhf.deb 21-Feb-2020 14:33 363276 libben-ocaml-dev_0.9.2ubuntu5_arm64.deb 25-Feb-2022 18:54 334922 libben-ocaml-dev_0.9.2ubuntu5_armhf.deb 25-Feb-2022 18:54 356950 libben-ocaml-dev_1.7ubuntu5_arm64.deb 24-Sep-2024 19:36 2335182 libben-ocaml-dev_1.7ubuntu5_armhf.deb 24-Sep-2024 15:52 2053348 libben-ocaml_0.10.1ubuntu1_arm64.deb 06-Feb-2023 10:31 198092 libben-ocaml_0.10.1ubuntu1_armhf.deb 06-Feb-2023 10:31 197898 libben-ocaml_0.10.3ubuntu1_arm64.deb 25-Sep-2023 15:48 194704 libben-ocaml_0.10.3ubuntu1_armhf.deb 25-Sep-2023 15:48 194486 libben-ocaml_0.10.3ubuntu4_arm64.deb 31-Mar-2024 18:39 194988 libben-ocaml_0.10.3ubuntu4_armhf.deb 31-Mar-2024 18:39 194750 libben-ocaml_0.6.6ubuntu2_arm64.deb 24-Dec-2013 08:48 106638 libben-ocaml_0.6.6ubuntu2_armhf.deb 24-Dec-2013 08:48 106682 libben-ocaml_0.7.3ubuntu2_arm64.deb 12-Feb-2016 12:26 124834 libben-ocaml_0.7.3ubuntu2_armhf.deb 12-Feb-2016 12:26 124770 libben-ocaml_0.7.7ubuntu2_arm64.deb 28-Oct-2017 18:04 127920 libben-ocaml_0.7.7ubuntu2_armhf.deb 28-Oct-2017 18:05 127860 libben-ocaml_0.9.0ubuntu2_arm64.deb 21-Feb-2020 14:33 132708 libben-ocaml_0.9.0ubuntu2_armhf.deb 21-Feb-2020 14:33 132488 libben-ocaml_0.9.2ubuntu5_arm64.deb 25-Feb-2022 18:54 182924 libben-ocaml_0.9.2ubuntu5_armhf.deb 25-Feb-2022 18:54 182704 libben-ocaml_1.7ubuntu5_arm64.deb 24-Sep-2024 19:36 188608 libben-ocaml_1.7ubuntu5_armhf.deb 24-Sep-2024 15:52 134368
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.