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_amd64.deb 05-Jan-2016 23:34 829460 libtyperep-camlp4-dev_113.00.00-1_i386.deb 05-Jan-2016 23:35 824488 libtyperep-camlp4-dev_113.00.00-3ubuntu1_amd64.deb 29-Oct-2017 11:48 839792 libtyperep-camlp4-dev_113.00.00-3ubuntu1_i386.deb 29-Oct-2017 11:48 835576 libtyperep-ocaml-dev_0.12.0-1build1_amd64.deb 21-Feb-2020 08:18 461904 libtyperep-ocaml-dev_0.14.0-1build3_amd64.deb 25-Jan-2022 12:30 615572 libtyperep-ocaml-dev_0.16.0-2build1_amd64.deb 03-Nov-2023 01:15 644678 libtyperep-ocaml-dev_0.17.0-1_amd64.deb 05-Sep-2024 14:52 778682 libtyperep-ocaml-dev_0.17.1-1_amd64.deb 31-Dec-2024 18:17 779296 libtyperep-ocaml-dev_0.17.1-1build1_amd64.deb 29-Jan-2025 20:03 747182 libtyperep-ocaml_0.12.0-1build1_amd64.deb 21-Feb-2020 08:18 160872 libtyperep-ocaml_0.14.0-1build3_amd64.deb 25-Jan-2022 12:30 216944 libtyperep-ocaml_0.16.0-2build1_amd64.deb 03-Nov-2023 01:15 218704 libtyperep-ocaml_0.17.0-1_amd64.deb 05-Sep-2024 14:52 218774 libtyperep-ocaml_0.17.1-1_amd64.deb 31-Dec-2024 18:17 219170 libtyperep-ocaml_0.17.1-1build1_amd64.deb 29-Jan-2025 20:03 221412 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.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_0.17.1-1.debian.tar.xz 31-Dec-2024 18:17 2852 typerep_0.17.1-1.dsc 31-Dec-2024 18:17 1853 typerep_0.17.1-1build1.debian.tar.xz 29-Jan-2025 13:14 2928 typerep_0.17.1-1build1.dsc 29-Jan-2025 13:14 2082 typerep_0.17.1.orig.tar.gz 31-Dec-2024 18:17 23072 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.