| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| gprbuild_2023.0.0-3_amd64.deb | 7182072 | 2026-Jan-06 20:25 |
| libgnatprj10-dev_2023.0.0-3_amd64.deb | 2118092 | 2026-Jan-06 20:25 |
| libgnatprj10_2023.0.0-3_amd64.deb | 1456268 | 2026-Jan-06 20:25 |
| gprbuild-doc_2023.0.0-3_all.deb | 931512 | 2026-Jan-06 20:25 |