/patch-cmake_leatherman_cmake_in/1.1/Tue May 30 18:01:27 2017//
/patch-cmake_cflags_cmake/1.3/Fri Jan  4 13:33:00 2019//
/patch-cmake_options_cmake/1.1/Tue Jun  4 15:22:32 2019//
D
