../ khronos-opencl-headers_1.2-2012.11.30-2ubuntu1...> 27-Dec-2014 00:25 5864 khronos-opencl-headers_1.2-2012.11.30-2ubuntu1.dsc 27-Dec-2014 00:25 1589 khronos-opencl-headers_1.2-2012.11.30.orig.tar.gz 27-Dec-2014 00:25 54153 opencl-headers_1.2-2012.11.30-2ubuntu1_all.deb 27-Dec-2014 00:25 58840