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.
../ libmenhir-ocaml-dev_20130116.dfsg-2_arm64.deb 23-Dec-2013 01:28 31122 libmenhir-ocaml-dev_20130116.dfsg-2_armhf.deb 23-Dec-2013 01:08 45636 libmenhir-ocaml-dev_20151112.dfsg-1_arm64.deb 18-Jan-2016 05:25 101672 libmenhir-ocaml-dev_20151112.dfsg-1_armhf.deb 18-Jan-2016 05:26 103434 libmenhir-ocaml-dev_20171222-1_arm64.deb 02-Jan-2018 23:29 178328 libmenhir-ocaml-dev_20171222-1_armhf.deb 02-Jan-2018 23:29 179652 libmenhir-ocaml-dev_20200123-2_arm64.deb 12-Mar-2020 14:08 470144 libmenhir-ocaml-dev_20200123-2_armhf.deb 12-Mar-2020 14:08 463340 libmenhir-ocaml-dev_20210929-1build1_arm64.deb 24-Jan-2022 16:44 631428 libmenhir-ocaml-dev_20210929-1build1_armhf.deb 24-Jan-2022 16:44 626644 libmenhir-ocaml-dev_20220210+ds-2_arm64.deb 14-May-2022 00:19 623008 libmenhir-ocaml-dev_20220210+ds-2_armhf.deb 14-May-2022 00:19 615884 libmenhir-ocaml-dev_20230608+ds-1_arm64.deb 28-Aug-2023 08:11 641712 libmenhir-ocaml-dev_20230608+ds-1_armhf.deb 28-Aug-2023 08:11 634294 libmenhir-ocaml-dev_20231231+ds-1_arm64.deb 15-Feb-2024 18:29 760684 libmenhir-ocaml-dev_20231231+ds-1_armhf.deb 15-Feb-2024 18:29 750382 libmenhir-ocaml-dev_20240715+ds-1_arm64.deb 21-Aug-2024 06:58 925466 libmenhir-ocaml-dev_20240715+ds-1_armhf.deb 21-Aug-2024 06:58 809890 menhir-doc_20171222-1_all.deb 02-Jan-2018 23:29 451536 menhir-doc_20200123-2_all.deb 12-Mar-2020 14:08 535400 menhir-doc_20210929-1build1_all.deb 24-Jan-2022 16:44 554984 menhir-doc_20220210+ds-2_all.deb 13-May-2022 23:29 449118 menhir-doc_20230608+ds-1_all.deb 28-Aug-2023 08:11 450160 menhir-doc_20231231+ds-1_all.deb 15-Feb-2024 18:29 477430 menhir-doc_20240715+ds-1_all.deb 21-Aug-2024 06:58 477480 menhir_20130116.dfsg-2.debian.tar.gz 03-Dec-2013 05:28 6477 menhir_20130116.dfsg-2.dsc 03-Dec-2013 05:28 2117 menhir_20130116.dfsg-2_arm64.deb 23-Dec-2013 01:28 947240 menhir_20130116.dfsg-2_armhf.deb 23-Dec-2013 01:08 442852 menhir_20130116.dfsg.orig.tar.gz 03-Dec-2013 05:28 268437 menhir_20151112.dfsg-1.debian.tar.xz 18-Jan-2016 05:25 6696 menhir_20151112.dfsg-1.dsc 18-Jan-2016 05:25 2133 menhir_20151112.dfsg-1_arm64.deb 18-Jan-2016 05:25 619830 menhir_20151112.dfsg-1_armhf.deb 18-Jan-2016 05:26 632208 menhir_20151112.dfsg.orig.tar.gz 18-Jan-2016 05:25 331677 menhir_20171222-1.debian.tar.xz 02-Jan-2018 23:29 7020 menhir_20171222-1.dsc 02-Jan-2018 23:29 2290 menhir_20171222-1_arm64.deb 02-Jan-2018 23:29 663068 menhir_20171222-1_armhf.deb 02-Jan-2018 23:29 573796 menhir_20171222.orig.tar.gz 02-Jan-2018 23:29 879284 menhir_20200123-2.debian.tar.xz 12-Mar-2020 14:08 12908 menhir_20200123-2.dsc 12-Mar-2020 14:08 2209 menhir_20200123-2_arm64.deb 12-Mar-2020 14:08 974712 menhir_20200123-2_armhf.deb 12-Mar-2020 14:08 754316 menhir_20200123.orig.tar.gz 08-Feb-2020 23:23 2456984 menhir_20210929-1build1.debian.tar.xz 24-Jan-2022 16:44 13272 menhir_20210929-1build1.dsc 24-Jan-2022 16:44 2260 menhir_20210929-1build1_arm64.deb 24-Jan-2022 16:44 1291578 menhir_20210929-1build1_armhf.deb 24-Jan-2022 16:44 1026986 menhir_20210929.orig.tar.gz 18-Oct-2021 20:41 1153643 menhir_20220210+ds-2.debian.tar.xz 13-May-2022 23:13 13348 menhir_20220210+ds-2.dsc 13-May-2022 23:13 2321 menhir_20220210+ds-2_arm64.deb 14-May-2022 00:19 1569562 menhir_20220210+ds-2_armhf.deb 14-May-2022 00:19 1248314 menhir_20220210+ds.orig.tar.xz 13-May-2022 23:13 534352 menhir_20230608+ds-1.debian.tar.xz 28-Aug-2023 07:09 13680 menhir_20230608+ds-1.dsc 28-Aug-2023 07:09 2084 menhir_20230608+ds-1_arm64.deb 28-Aug-2023 08:11 1623760 menhir_20230608+ds-1_armhf.deb 28-Aug-2023 08:11 1314668 menhir_20230608+ds.orig.tar.xz 28-Aug-2023 07:09 523428 menhir_20231231+ds-1.debian.tar.xz 15-Feb-2024 17:24 13756 menhir_20231231+ds-1.dsc 15-Feb-2024 17:24 2084 menhir_20231231+ds-1_arm64.deb 15-Feb-2024 18:29 1701380 menhir_20231231+ds-1_armhf.deb 15-Feb-2024 18:29 1364944 menhir_20231231+ds.orig.tar.xz 15-Feb-2024 17:24 540084 menhir_20240715+ds-1.debian.tar.xz 21-Aug-2024 06:58 13852 menhir_20240715+ds-1.dsc 21-Aug-2024 06:58 2084 menhir_20240715+ds-1_arm64.deb 21-Aug-2024 06:58 1807996 menhir_20240715+ds-1_armhf.deb 21-Aug-2024 06:58 407618 menhir_20240715+ds.orig.tar.xz 21-Aug-2024 06:58 540332
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.