/patch-Makefile/1.1/Sun Sep  7 07:48:28 2025//Tpkgsrc-2025Q3
/patch-src_gnatformat.ads/1.1/Sun Sep  7 07:48:28 2025//Tpkgsrc-2025Q3
D
