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_20181113-1_amd64.deb 14-Nov-2018 23:43 217644 libmenhir-ocaml-dev_20181113-1_arm64.deb 14-Nov-2018 22:58 220592 libmenhir-ocaml-dev_20181113-1_i386.deb 15-Nov-2018 09:42 210832 libmenhir-ocaml-dev_20201216-1_amd64.deb 17-Jan-2021 22:58 534040 libmenhir-ocaml-dev_20201216-1_arm64.deb 17-Jan-2021 21:27 536672 libmenhir-ocaml-dev_20201216-1_i386.deb 17-Jan-2021 22:43 530380 libmenhir-ocaml-dev_20220210+ds-2_amd64.deb 13-May-2022 15:44 533244 libmenhir-ocaml-dev_20220210+ds-2_arm64.deb 13-May-2022 15:44 536176 libmenhir-ocaml-dev_20220210+ds-2_i386.deb 13-May-2022 15:44 526976 libmenhir-ocaml-dev_20231231+ds-1_amd64.deb 15-Feb-2024 14:06 646988 libmenhir-ocaml-dev_20231231+ds-1_arm64.deb 15-Feb-2024 14:12 650512 libmenhir-ocaml-dev_20231231+ds-1_i386.deb 15-Feb-2024 14:06 639680 menhir-doc_20181113-1_all.deb 14-Nov-2018 21:52 572064 menhir-doc_20201216-1_all.deb 17-Jan-2021 23:44 552308 menhir-doc_20220210+ds-2_all.deb 13-May-2022 15:44 451300 menhir-doc_20231231+ds-1_all.deb 15-Feb-2024 14:06 477628 menhir_20181113-1.debian.tar.xz 14-Nov-2018 21:30 7432 menhir_20181113-1.dsc 14-Nov-2018 21:30 2249 menhir_20181113-1_amd64.deb 14-Nov-2018 23:43 641684 menhir_20181113-1_arm64.deb 14-Nov-2018 22:58 695560 menhir_20181113-1_i386.deb 15-Nov-2018 09:42 576732 menhir_20181113.orig.tar.gz 14-Nov-2018 21:30 1028432 menhir_20201216-1.debian.tar.xz 17-Jan-2021 20:46 13400 menhir_20201216-1.dsc 17-Jan-2021 20:46 2236 menhir_20201216-1_amd64.deb 17-Jan-2021 22:58 853220 menhir_20201216-1_arm64.deb 17-Jan-2021 21:27 989544 menhir_20201216-1_i386.deb 17-Jan-2021 22:43 811316 menhir_20201216.orig.tar.gz 17-Jan-2021 20:46 1109251 menhir_20220210+ds-2.debian.tar.xz 13-May-2022 14:47 13348 menhir_20220210+ds-2.dsc 13-May-2022 14:47 2321 menhir_20220210+ds-2_amd64.deb 13-May-2022 15:44 1141920 menhir_20220210+ds-2_arm64.deb 13-May-2022 15:44 1328112 menhir_20220210+ds-2_i386.deb 13-May-2022 15:44 1061672 menhir_20220210+ds.orig.tar.xz 18-Mar-2022 10:03 534352 menhir_20231231+ds-1.debian.tar.xz 15-Feb-2024 13:36 13756 menhir_20231231+ds-1.dsc 15-Feb-2024 13:36 2084 menhir_20231231+ds-1_amd64.deb 15-Feb-2024 14:06 1248020 menhir_20231231+ds-1_arm64.deb 15-Feb-2024 14:12 1441652 menhir_20231231+ds-1_i386.deb 15-Feb-2024 14:06 1173204 menhir_20231231+ds.orig.tar.xz 15-Feb-2024 13:36 540084
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.