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_armhf.deb 20-Nov-2018 13:08 214780 libmenhir-ocaml-dev_20201216-1_armhf.deb 24-Jan-2021 21:59 533860 libmenhir-ocaml-dev_20220210+ds-2_armhf.deb 06-Jul-2022 16:08 530264 libmenhir-ocaml-dev_20231231+ds-1_armhf.deb 23-Feb-2024 10:08 644276 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_armhf.deb 20-Nov-2018 13:08 546596 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_armhf.deb 24-Jan-2021 21:59 771348 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_armhf.deb 06-Jul-2022 16:08 1020544 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_armhf.deb 23-Feb-2024 10:08 1121680 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.