/patch-doc_makefile_in/1.7/Sat Mar 12 08:16:44 2022//
/patch-configure/1.14/Wed Jan 21 08:18:53 2026//
/patch-include_gambit_h_in/1.2/Wed Jan 21 08:18:53 2026//
D
