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_20240715+ds-1_amd64.deb 20-Aug-2024 07:00 906000 libmenhir-ocaml-dev_20240715+ds-1_arm64.deb 20-Aug-2024 07:05 908368 libmenhir-ocaml-dev_20240715+ds-1_i386.deb 20-Aug-2024 07:05 809020 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_20240715+ds-1_all.deb 20-Aug-2024 07:05 477668 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_20240715+ds-1.debian.tar.xz 20-Aug-2024 06:40 13852 menhir_20240715+ds-1.dsc 20-Aug-2024 06:40 2084 menhir_20240715+ds-1_amd64.deb 20-Aug-2024 07:00 1375732 menhir_20240715+ds-1_arm64.deb 20-Aug-2024 07:05 1569188 menhir_20240715+ds-1_i386.deb 20-Aug-2024 07:05 405240 menhir_20240715+ds.orig.tar.xz 20-Aug-2024 06:40 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.