/patch-osdep_timer-linux_c/1.1/Mon Jun 25 16:43:01 2018//
/patch-osdep_timer_c/1.1/Mon Jun 25 16:43:01 2018//
/patch-stream_tvi_v4l2_c/1.1/Mon Jun 25 16:43:01 2018//
/patch-waftools_detections_compiler_py/1.1/Sun Jul 10 15:27:55 2016//
D
