../ patch-Makefile,v 10-Jul-2025 18:52 2292 patch-core_src_executable__path.c,v 10-Jul-2025 18:52 747 patch-core_src_os_unix_libc-wrappers.c,v 10-Jul-2025 18:52 1108 patch-core_src_os_unix_process-wrappers.c,v 10-Jul-2025 18:52 758 patch-gprproject_____init____.py,v 10-Jul-2025 18:52 1638 patch-gprproject_gprbuild.py,v 10-Jul-2025 18:52 1613