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_2011-4_all.deb 18-Jul-2013 02:43 815128 gprbuild-doc_2014dfsg-3_all.deb 14-Sep-2015 19:33 54764 gprbuild-doc_2021.0.0.0778b109-5_all.deb 22-Dec-2020 12:14 846564 gprbuild-doc_2023.0.0-2_all.deb 30-Dec-2022 07:49 930262 gprbuild-doc_2023.0.0-3_all.deb 11-May-2023 05:34 932506 gprbuild-doc_2024.1.20231009-4build2_all.deb 01-Apr-2024 01:00 953568 gprbuild_2011-4.debian.tar.gz 18-Jul-2013 02:43 18855 gprbuild_2011-4.dsc 18-Jul-2013 02:43 1998 gprbuild_2011-4_amd64.deb 18-Jul-2013 02:43 3618988 gprbuild_2011-4_i386.deb 18-Jul-2013 02:43 3355006 gprbuild_2011.orig.tar.bz2 06-Feb-2012 02:03 1676704 gprbuild_2014dfsg-3.debian.tar.xz 14-Sep-2015 19:33 16336 gprbuild_2014dfsg-3.dsc 14-Sep-2015 19:33 2104 gprbuild_2014dfsg-3_amd64.deb 14-Sep-2015 19:33 1372600 gprbuild_2014dfsg-3_i386.deb 14-Sep-2015 19:33 1375846 gprbuild_2014dfsg.orig.tar.gz 08-Nov-2014 23:13 1499247 gprbuild_2017-5.debian.tar.xz 27-Sep-2017 08:58 18832 gprbuild_2017-5.dsc 27-Sep-2017 08:58 2260 gprbuild_2017-5_amd64.deb 27-Sep-2017 09:30 931640 gprbuild_2017-5_i386.deb 27-Sep-2017 09:30 938866 gprbuild_2017.orig.tar.xz 10-Aug-2017 11:18 498432 gprbuild_2019-3.debian.tar.xz 25-Feb-2020 05:24 20716 gprbuild_2019-3.dsc 25-Feb-2020 05:24 2153 gprbuild_2019-3_amd64.deb 25-Feb-2020 11:48 1262556 gprbuild_2019.orig.tar.xz 25-Feb-2020 05:24 517876 gprbuild_2021.0.0.0778b109-5.debian.tar.xz 22-Dec-2020 11:35 19892 gprbuild_2021.0.0.0778b109-5.dsc 22-Dec-2020 11:35 2532 gprbuild_2021.0.0.0778b109-5_amd64.deb 22-Dec-2020 12:14 1142632 gprbuild_2021.0.0.0778b109.orig.tar.gz 11-Dec-2020 23:19 928686 gprbuild_2023.0.0-2.debian.tar.xz 27-Dec-2022 11:23 19216 gprbuild_2023.0.0-2.dsc 27-Dec-2022 11:23 2518 gprbuild_2023.0.0-2_amd64.deb 30-Dec-2022 07:49 7602970 gprbuild_2023.0.0-3.debian.tar.xz 11-May-2023 05:34 19300 gprbuild_2023.0.0-3.dsc 11-May-2023 05:34 2518 gprbuild_2023.0.0-3_amd64.deb 11-May-2023 05:34 7590980 gprbuild_2023.0.0.orig.tar.gz 27-Dec-2022 11:23 952887 gprbuild_2024.1.20231009-4build2.debian.tar.xz 31-Mar-2024 18:36 19648 gprbuild_2024.1.20231009-4build2.dsc 31-Mar-2024 18:36 2671 gprbuild_2024.1.20231009-4build2_amd64.deb 01-Apr-2024 01:00 7968116 gprbuild_2024.1.20231009-5.debian.tar.xz 03-May-2024 01:53 20484 gprbuild_2024.1.20231009-5.dsc 03-May-2024 01:53 2560 gprbuild_2024.1.20231009.orig.tar.xz 19-Mar-2024 17:56 693108 libgnatprj-dev_2024.1.20231009-4build2_amd64.deb 01-Apr-2024 01:00 2405442 libgnatprj10-dev_2023.0.0-2_amd64.deb 30-Dec-2022 07:49 2329128 libgnatprj10-dev_2023.0.0-3_amd64.deb 11-May-2023 05:34 2326860 libgnatprj10_2023.0.0-2_amd64.deb 30-Dec-2022 07:49 1583152 libgnatprj10_2023.0.0-3_amd64.deb 11-May-2023 05:34 1584474 libgnatprj11_2024.1.20231009-4build2_amd64.deb 01-Apr-2024 01:00 1649496 libgnatprj7-dev_2019-3_amd64.deb 25-Feb-2020 11:48 2003976 libgnatprj7_2019-3_amd64.deb 25-Feb-2020 11:48 1393212 libgnatprj8-dev_2021.0.0.0778b109-5_amd64.deb 22-Dec-2020 12:14 2089064 libgnatprj8_2021.0.0.0778b109-5_amd64.deb 22-Dec-2020 12:14 1439488 libgpr1-dev_2017-5_amd64.deb 27-Sep-2017 09:30 1699244 libgpr1-dev_2017-5_i386.deb 27-Sep-2017 09:30 1777876 libgpr16.1.2016_2017-5_amd64.deb 27-Sep-2017 09:30 1140946 libgpr16.1.2016_2017-5_i386.deb 27-Sep-2017 09:30 1206296
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.