/patch-aa/1.3/Tue Nov 26 09:22:19 2013//
/patch-config.make.in/1.3/Sun Aug 23 14:22:10 2015//
/patch-testsuite_Makefile.in/1.6/Fri May 22 08:01:51 2020//
/patch-tools_Makefile.in/1.4/Sun Aug 23 14:22:10 2015//
/patch-Makefile.in/1.11/Wed May 24 01:01:02 2023//
D