/patch-doc_makefile_in/1.7/Sat Mar 12 08:16:44 2022//
/patch-configure/1.13/Tue Aug 15 17:18:01 2023//
/patch-include_gambit_h_in/1.1/Mon Mar 25 19:12:41 2024//
D
