/patch-Makefile/1.1/Sun Sep  7 08:08:51 2025//Tpkgsrc-2025Q3
/patch-gnat_gnatdoc.gpr/1.1/Sun Sep  7 08:08:51 2025//Tpkgsrc-2025Q3
/patch-source_gnatdoc_gnatdoc-version.ads/1.1/Sun Sep  7 08:08:51 2025//Tpkgsrc-2025Q3
D
