/devel/gps/patches/

• ../
• patch-aa
• patch-ab
• patch-ac
• patch-ae
• patch-af
• patch-ak
• patch-al
• patch-am
• patch-an
• patch-distrib_gnat__switches_awk
• patch-gps_gps.gpr