../ patch-doc_gprbuild__ug_gnat__project__manager.rst 23-Oct-2026 18:19 1185 patch-gpr_gpr.gpr 23-Oct-2026 18:19 352 patch-gpr_src_gpr-compilation-protocol.adb 23-Oct-2026 18:19 2429 patch-gpr_src_gpr-conf.adb 23-Oct-2026 18:19 738 patch-gpr_src_gpr-env.adb 23-Oct-2026 18:19 677 patch-gpr_src_gpr-version.ads 23-Oct-2026 18:19 742 patch-gprbuild.gpr 23-Oct-2026 18:19 719