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 libflint-arb-dev_2.11.1-2build1_arm64.deb 25-Jan-2018 03:28 35644 libflint-arb-dev_2.11.1-2build1_armhf.deb 14-Mar-2018 11:35 35644 libflint-arb-dev_2.17.0-1_arm64.deb 25-Oct-2019 21:56 38884 libflint-arb-dev_2.17.0-1_armhf.deb 25-Oct-2019 21:57 38888 libflint-arb-dev_2.22.1-1_arm64.deb 31-Jan-2022 18:09 43326 libflint-arb-dev_2.22.1-1_armhf.deb 31-Jan-2022 18:09 43332 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-arb2_2.11.1-2build1_arm64.deb 25-Jan-2018 03:28 698544 libflint-arb2_2.11.1-2build1_armhf.deb 14-Mar-2018 11:35 689380 libflint-arb2_2.17.0-1_arm64.deb 25-Oct-2019 21:56 885288 libflint-arb2_2.17.0-1_armhf.deb 25-Oct-2019 21:57 827292 libflint-arb2_2.22.1-1_arm64.deb 31-Jan-2022 18:09 1232106 libflint-arb2_2.22.1-1_armhf.deb 31-Jan-2022 18:09 1126886
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.