/patch-doc_makefile_in/1.2/Sat Mar 12 08:16:18 2022//
/patch-misc_galois_desktop_in/1.2/Sat Mar 12 08:16:18 2022//
/patch-src_makefile_in/1.2/Sat Mar 12 08:16:18 2022//
D
