khronos-opencl-headers (1.2-2013.06.28-2ubuntu1precise1) precise; urgency=low * Backported to Precise Pangolin -- Valerio Mariani <email address hidden> Tue, 05 Nov 2013 23:32:25 +0100