../ khronos-opencl-headers_1.2-2012.04.18a-1.debian..> 08-Jun-2012 04:03 3604 khronos-opencl-headers_1.2-2012.04.18a-1.dsc 08-Jun-2012 04:03 2191 khronos-opencl-headers_1.2-2012.04.18a.orig.tar.gz 08-Jun-2012 04:03 57513 opencl-headers_1.2-2012.04.18a-1_all.deb 08-Jun-2012 04:03 59606