| Parent directory/ | - | - |
| gprbuild_2018.orig.tar.xz | 495.5 KiB | 2018-Jun-10 12:55 |
| gprbuild_2018-6.debian.tar.xz | 20.1 KiB | 2018-Nov-11 16:01 |
| gprbuild_2018-6.dsc | 2.1 KiB | 2018-Nov-11 16:01 |
| gprbuild_2018-6_armhf.deb | 807.7 KiB | 2018-Nov-14 10:08 |
| libgpr2-dev_2018-6_armhf.deb | 1.5 MiB | 2018-Nov-14 10:08 |
| libgpr18_2018-6_armhf.deb | 1.0 MiB | 2018-Nov-14 10:08 |
| gprbuild_2021.0.0.0778b109.orig.tar.gz | 906.9 KiB | 2020-Oct-19 23:08 |
| gprbuild_2021.0.0.0778b109-5.debian.tar.xz | 19.4 KiB | 2020-Dec-21 12:46 |
| gprbuild_2021.0.0.0778b109-5.dsc | 2.5 KiB | 2020-Dec-21 12:46 |
| gprbuild-doc_2021.0.0.0778b109-5_all.deb | 831.5 KiB | 2020-Dec-21 13:06 |
| gprbuild_2021.0.0.0778b109-5_armhf.deb | 837.7 KiB | 2020-Dec-24 10:08 |
| libgnatprj8_2021.0.0.0778b109-5_armhf.deb | 1.2 MiB | 2020-Dec-24 10:08 |
| libgnatprj8-dev_2021.0.0.0778b109-5_armhf.deb | 1.7 MiB | 2020-Dec-24 10:08 |
| gprbuild_2023.0.0.orig.tar.gz | 930.6 KiB | 2022-Nov-26 11:49 |
| gprbuild_2023.0.0-3.dsc | 2.5 KiB | 2023-May-10 21:47 |
| gprbuild_2023.0.0-3.debian.tar.xz | 18.8 KiB | 2023-May-10 21:47 |
| gprbuild-doc_2023.0.0-3_all.deb | 909.7 KiB | 2023-May-10 22:22 |
| libgnatprj10_2023.0.0-3_armhf.deb | 1.2 MiB | 2023-May-18 10:08 |
| gprbuild_2023.0.0-3_armhf.deb | 5.3 MiB | 2023-May-18 10:08 |
| libgnatprj10-dev_2023.0.0-3_armhf.deb | 1.7 MiB | 2023-May-18 10:08 |
| gprbuild_2024.1.20231009.orig.tar.xz | 676.9 KiB | 2023-Oct-24 22:54 |
| gprbuild_2024.1.20231009-5.dsc | 2.5 KiB | 2024-May-02 14:54 |
| gprbuild_2024.1.20231009-5.debian.tar.xz | 20.0 KiB | 2024-May-02 14:54 |
| gprbuild-doc_2024.1.20231009-5_all.deb | 930.0 KiB | 2024-May-02 15:30 |
