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.
../ libtyperep-camlp4-dev_113.00.00-1_arm64.deb 05-Jan-2016 23:35 834894 libtyperep-camlp4-dev_113.00.00-1_armhf.deb 05-Jan-2016 23:35 832154 libtyperep-camlp4-dev_113.00.00-3ubuntu1_arm64.deb 29-Oct-2017 11:48 852320 libtyperep-camlp4-dev_113.00.00-3ubuntu1_armhf.deb 29-Oct-2017 11:48 842296 libtyperep-ocaml-dev_0.12.0-1build1_arm64.deb 21-Feb-2020 08:28 465040 libtyperep-ocaml-dev_0.12.0-1build1_armhf.deb 21-Feb-2020 08:28 466180 libtyperep-ocaml-dev_0.14.0-1build3_arm64.deb 25-Jan-2022 12:30 616666 libtyperep-ocaml-dev_0.14.0-1build3_armhf.deb 25-Jan-2022 12:30 618238 libtyperep-ocaml-dev_0.15.0-1_arm64.deb 05-Feb-2023 00:55 615426 libtyperep-ocaml-dev_0.15.0-1_armhf.deb 05-Feb-2023 00:56 616478 libtyperep-ocaml-dev_0.16.0-2_arm64.deb 17-Aug-2023 12:28 616182 libtyperep-ocaml-dev_0.16.0-2_armhf.deb 17-Aug-2023 12:28 617910 libtyperep-ocaml-dev_0.16.0-2build1_arm64.deb 03-Nov-2023 01:15 646534 libtyperep-ocaml-dev_0.16.0-2build1_armhf.deb 03-Nov-2023 01:15 648084 libtyperep-ocaml_0.12.0-1build1_arm64.deb 21-Feb-2020 08:28 166804 libtyperep-ocaml_0.12.0-1build1_armhf.deb 21-Feb-2020 08:28 161628 libtyperep-ocaml_0.14.0-1build3_arm64.deb 25-Jan-2022 12:30 224846 libtyperep-ocaml_0.14.0-1build3_armhf.deb 25-Jan-2022 12:30 217848 libtyperep-ocaml_0.15.0-1_arm64.deb 05-Feb-2023 00:55 221800 libtyperep-ocaml_0.15.0-1_armhf.deb 05-Feb-2023 00:56 215714 libtyperep-ocaml_0.16.0-2_arm64.deb 17-Aug-2023 12:28 221984 libtyperep-ocaml_0.16.0-2_armhf.deb 17-Aug-2023 12:28 215882 libtyperep-ocaml_0.16.0-2build1_arm64.deb 03-Nov-2023 01:15 225336 libtyperep-ocaml_0.16.0-2build1_armhf.deb 03-Nov-2023 01:15 219578 typerep_0.12.0-1build1.debian.tar.xz 21-Feb-2020 07:53 2772 typerep_0.12.0-1build1.dsc 21-Feb-2020 07:53 2231 typerep_0.12.0.orig.tar.gz 29-Aug-2019 05:28 22769 typerep_0.14.0-1build3.debian.tar.xz 25-Jan-2022 12:29 2852 typerep_0.14.0-1build3.dsc 25-Jan-2022 12:29 2181 typerep_0.14.0.orig.tar.gz 25-Jul-2020 11:18 22936 typerep_0.15.0-1.debian.tar.xz 04-Feb-2023 23:47 2808 typerep_0.15.0-1.dsc 04-Feb-2023 23:47 1824 typerep_0.15.0.orig.tar.gz 04-Feb-2023 23:47 22737 typerep_0.16.0-2.debian.tar.xz 17-Aug-2023 11:19 2824 typerep_0.16.0-2.dsc 17-Aug-2023 11:19 1853 typerep_0.16.0-2build1.debian.tar.xz 02-Nov-2023 23:55 2896 typerep_0.16.0-2build1.dsc 02-Nov-2023 23:55 2082 typerep_0.16.0.orig.tar.gz 04-Jul-2023 17:54 23002 typerep_113.00.00-1.debian.tar.xz 05-Jan-2016 23:19 2892 typerep_113.00.00-1.dsc 05-Jan-2016 23:19 2139 typerep_113.00.00-3ubuntu1.debian.tar.xz 29-Oct-2017 11:48 3080 typerep_113.00.00-3ubuntu1.dsc 29-Oct-2017 11:48 2238 typerep_113.00.00.orig.tar.gz 05-Jan-2016 23:19 115485
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.