/patch-doc_makefile_in/1.1/Sat Nov 18 00:03:05 2017//
/patch-misc_galois_desktop_in/1.1/Wed Sep 17 20:32:11 2014//
/patch-src_makefile_in/1.1/Sat Nov 18 00:03:05 2017//
D
