| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| gprbuild_2024.1.20231009-5_riscv64.deb | 6.9 MiB | 2024-May-13 09:08 |
| libgnatprj-dev_2024.1.20231009-5_riscv64.deb | 4.8 MiB | 2024-May-13 09:17 |
| libgnatprj11_2024.1.20231009-5_riscv64.deb | 1.4 MiB | 2024-May-13 09:08 |
| gprbuild-doc_2024.1.20231009-5_all.deb | 930.0 KiB | 2024-May-13 09:16 |
| gprbuild_2024.1.20231009.orig.tar.xz | 676.9 KiB | 2024-May-15 11:31 |
| gprbuild_2024.1.20231009-5.debian.tar.xz | 20.0 KiB | 2024-May-15 11:31 |
| gprbuild_2024.1.20231009-5.dsc | 2.5 KiB | 2024-May-15 11:31 |