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_amd64.deb 23-Dec-2013 01:08 44498 libmenhir-ocaml-dev_20130116.dfsg-2_i386.deb 23-Dec-2013 01:08 44246 libmenhir-ocaml-dev_20151112.dfsg-1_amd64.deb 18-Jan-2016 05:25 98840 libmenhir-ocaml-dev_20151112.dfsg-1_i386.deb 18-Jan-2016 05:26 98676 libmenhir-ocaml-dev_20171222-1_amd64.deb 02-Jan-2018 23:29 176444 libmenhir-ocaml-dev_20171222-1_i386.deb 02-Jan-2018 23:29 175556 libmenhir-ocaml-dev_20200123-2_amd64.deb 12-Mar-2020 14:08 464036 libmenhir-ocaml-dev_20210929-1build1_amd64.deb 24-Jan-2022 16:44 628136 libmenhir-ocaml-dev_20220210+ds-2_amd64.deb 13-May-2022 23:29 615322 libmenhir-ocaml-dev_20231231+ds-1_amd64.deb 15-Feb-2024 18:29 751362 libmenhir-ocaml-dev_20240715+ds-1_amd64.deb 21-Aug-2024 06:58 918080 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_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_amd64.deb 23-Dec-2013 01:08 427608 menhir_20130116.dfsg-2_i386.deb 23-Dec-2013 01:08 387132 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_amd64.deb 18-Jan-2016 05:25 594252 menhir_20151112.dfsg-1_i386.deb 18-Jan-2016 05:26 553084 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_amd64.deb 02-Jan-2018 23:29 609992 menhir_20171222-1_i386.deb 02-Jan-2018 23:29 547880 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_amd64.deb 12-Mar-2020 14:08 794324 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_amd64.deb 24-Jan-2022 16:44 1066538 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_amd64.deb 13-May-2022 23:29 1284912 menhir_20220210+ds.orig.tar.xz 13-May-2022 23:13 534352 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_amd64.deb 15-Feb-2024 18:29 1401434 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_amd64.deb 21-Aug-2024 06:58 1531088 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.