| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| patch-gpr_src_gpr-version.ads | 2026-07-03 20:28 | 742 | ||
| patch-gpr_src_gpr-env.adb | 2026-07-03 20:28 | 677 | ||
| patch-gpr_src_gpr-conf.adb | 2026-07-03 20:28 | 738 | ||
| patch-gpr_src_gpr-compilation-protocol.adb | 2026-07-03 20:28 | 2.4K | ||
| patch-gpr_gpr.gpr | 2026-07-03 20:28 | 352 | ||
| patch-gprbuild.gpr | 2026-07-03 20:28 | 719 | ||
| patch-doc_gprbuild__ug_gnat__project__manager.rst | 2026-07-03 20:28 | 1.2K | ||