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.16.0-2.debian.tar.xz 15-Jan-2019 13:02 3948 flint-arb_2.16.0-2.dsc 15-Jan-2019 13:02 2140 flint-arb_2.16.0.orig.tar.gz 12-Dec-2018 10:13 1526059 flint-arb_2.19.0-1.debian.tar.xz 08-Dec-2020 08:16 4720 flint-arb_2.19.0-1.dsc 08-Dec-2020 08:16 2211 flint-arb_2.19.0.orig.tar.gz 08-Dec-2020 08:16 1606463 flint-arb_2.23.0-1.debian.tar.xz 09-Jul-2022 20:47 4996 flint-arb_2.23.0-1.dsc 09-Jul-2022 20:47 2170 flint-arb_2.23.0.orig.tar.gz 09-Jul-2022 20:47 1989841 libflint-arb-dev_2.16.0-2_armhf.deb 20-Jan-2019 10:08 39972 libflint-arb-dev_2.19.0-1_armhf.deb 13-Dec-2020 07:00 40844 libflint-arb-dev_2.23.0-1_armhf.deb 14-Sep-2022 10:08 45080 libflint-arb-doc_2.16.0-2_all.deb 15-Jan-2019 13:27 22164 libflint-arb-doc_2.19.0-1_all.deb 08-Dec-2020 08:56 587980 libflint-arb-doc_2.23.0-1_all.deb 09-Jul-2022 21:12 649984 libflint-arb2_2.16.0-2_armhf.deb 20-Jan-2019 10:08 763964 libflint-arb2_2.19.0-1_armhf.deb 13-Dec-2020 07:00 805076 libflint-arb2_2.23.0-1_armhf.deb 14-Sep-2022 10:08 1068252
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.