/devel/gps/files/

• ../
• patch-Makefile.in
• patch-common-tty-terminals.c
• patch-gnatlib-gnat_src-mlib-utl.adb
• patch-gnatlib-gnatcoll_shared.gpr.in
• patch-gnatlib_aclocal.m4
• patch-gnatlib_configure
• patch-gnatlib_src_nonpython_gnatcoll-scripts.nopython.adb
• patch-gnatlib_src_nonpython_gnatcoll-scripts.nopython.ads
• patch-shared.gpr