../ khronos-opencl-headers_1.2-2012.04.18-1.debian...> 03-Aug-2012 21:17 3633 khronos-opencl-headers_1.2-2012.04.18-1.dsc 03-Aug-2012 21:17 2192 khronos-opencl-headers_1.2-2012.04.18.orig.tar.gz 03-Aug-2012 21:17 37731