| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| gprbuild-22.0.0-gentoo.patch | 2.0 KiB | 2025년 03월 20일 21시 38분 |
| gprbuild-25.0.0-gcc16.patch | 467 B | 2025년 12월 12일 17시 10분 |
| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| gprbuild-22.0.0-gentoo.patch | 2.0 KiB | 2025년 03월 20일 21시 38분 |
| gprbuild-25.0.0-gcc16.patch | 467 B | 2025년 12월 12일 17시 10분 |