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-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-dev_0.17.0-1_arm64.deb 05-Sep-2024 14:52 776412 libtyperep-ocaml-dev_0.17.0-1_armhf.deb 05-Sep-2024 14:52 718844 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-2build1_arm64.deb 03-Nov-2023 01:15 225336 libtyperep-ocaml_0.16.0-2build1_armhf.deb 03-Nov-2023 01:15 219578 libtyperep-ocaml_0.17.0-1_arm64.deb 05-Sep-2024 14:52 225510 libtyperep-ocaml_0.17.0-1_armhf.deb 05-Sep-2024 14:52 178336 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-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_0.17.0-1.debian.tar.xz 03-Sep-2024 22:50 2836 typerep_0.17.0-1.dsc 03-Sep-2024 22:50 1853 typerep_0.17.0.orig.tar.gz 03-Sep-2024 22:50 23074 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.