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.
../ gprbuild-doc_2021.0.0.0778b109-5_all.deb 21-Dec-2020 13:06 851492 gprbuild-doc_2023.0.0-3_all.deb 10-May-2023 22:22 931512 gprbuild_2018-6.debian.tar.xz 11-Nov-2018 16:01 20600 gprbuild_2018-6.dsc 11-Nov-2018 16:01 2158 gprbuild_2018-6_armhf.deb 14-Nov-2018 10:08 827128 gprbuild_2018.orig.tar.xz 10-Jun-2018 12:55 507428 gprbuild_2021.0.0.0778b109-5.debian.tar.xz 21-Dec-2020 12:46 19892 gprbuild_2021.0.0.0778b109-5.dsc 21-Dec-2020 12:46 2532 gprbuild_2021.0.0.0778b109-5_armhf.deb 24-Dec-2020 10:08 857788 gprbuild_2021.0.0.0778b109.orig.tar.gz 19-Oct-2020 23:08 928686 gprbuild_2023.0.0-3.debian.tar.xz 10-May-2023 21:47 19300 gprbuild_2023.0.0-3.dsc 10-May-2023 21:47 2518 gprbuild_2023.0.0-3_armhf.deb 18-May-2023 10:08 5539172 gprbuild_2023.0.0.orig.tar.gz 26-Nov-2022 11:49 952887 libgnatprj10-dev_2023.0.0-3_armhf.deb 18-May-2023 10:08 1787300 libgnatprj10_2023.0.0-3_armhf.deb 18-May-2023 10:08 1230752 libgnatprj8-dev_2021.0.0.0778b109-5_armhf.deb 24-Dec-2020 10:08 1783544 libgnatprj8_2021.0.0.0778b109-5_armhf.deb 24-Dec-2020 10:08 1253752 libgpr18_2018-6_armhf.deb 14-Nov-2018 10:08 1098676 libgpr2-dev_2018-6_armhf.deb 14-Nov-2018 10:08 1604208
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.