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.
../ flint-arb_2.11.1-2build1.debian.tar.xz 24-Jan-2018 22:24 3476 flint-arb_2.11.1-2build1.dsc 24-Jan-2018 22:24 2209 flint-arb_2.11.1.orig.tar.gz 09-Nov-2017 05:29 1248835 flint-arb_2.17.0-1.debian.tar.xz 25-Oct-2019 20:05 3972 flint-arb_2.17.0-1.dsc 25-Oct-2019 20:05 2171 flint-arb_2.17.0.orig.tar.gz 25-Oct-2019 20:05 1589083 flint-arb_2.22.1-1.debian.tar.xz 31-Jan-2022 17:24 4900 flint-arb_2.22.1-1.dsc 31-Jan-2022 17:24 2173 flint-arb_2.22.1.orig.tar.gz 31-Jan-2022 17:24 1906319 flint-arb_2.23.0-1build1.debian.tar.xz 16-Jul-2022 10:28 5060 flint-arb_2.23.0-1build1.dsc 16-Jul-2022 10:28 2169 flint-arb_2.23.0.orig.tar.gz 10-Jul-2022 05:38 1989841 libflint-arb-dev_2.11.1-2build1_amd64.deb 25-Jan-2018 05:54 35648 libflint-arb-dev_2.11.1-2build1_i386.deb 14-Mar-2018 11:12 35644 libflint-arb-dev_2.17.0-1_amd64.deb 25-Oct-2019 21:38 38888 libflint-arb-dev_2.22.1-1_amd64.deb 31-Jan-2022 18:09 43332 libflint-arb-dev_2.23.0-1build1_amd64.deb 17-Jul-2022 10:58 44274 libflint-arb-doc_2.11.1-2build1_all.deb 25-Jan-2018 05:54 14184 libflint-arb-doc_2.17.0-1_all.deb 25-Oct-2019 21:38 17856 libflint-arb-doc_2.22.1-1_all.deb 31-Jan-2022 18:09 637372 libflint-arb-doc_2.23.0-1build1_all.deb 17-Jul-2022 10:58 645032 libflint-arb2_2.11.1-2build1_amd64.deb 25-Jan-2018 05:54 786968 libflint-arb2_2.11.1-2build1_i386.deb 14-Mar-2018 11:12 875168 libflint-arb2_2.17.0-1_amd64.deb 25-Oct-2019 21:38 948148 libflint-arb2_2.22.1-1_amd64.deb 31-Jan-2022 18:09 1247384 libflint-arb2_2.23.0-1build1_amd64.deb 17-Jul-2022 10:58 1301570
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.