…
..
aws.gpr.in
patch-aws.gpr
patch-gps_Makefile
patch-include_include.gpr
patch-Makefile
patch-regtests_0043__check__mem_test.opt
patch-regtests_0213__check__mem__nossl_test.opt
patch-src_core_aws-net.adb
patch-src_extended_aws-services-web__block-context.ads
patch-src_src.gpr
patch-ssl__crypto_lib.gpr
patch-tools_tools.gpr
temparse.gpr.in