[Pkg-opencl-devel] Bug#718658: khronos-opencl-headers: Prefer svn for d/watch and get-orig-source target

[Mathieu Malaterre]

Package: khronos-opencl-headers
Severity: wishlist

Just a reminder, it would be nice to switch to using svn instead of wget to retrieve the opencl source.

ref:

svn export https://cvs.khronos.org/svn/repos/registry/trunk/public/cl/api/1.2/

and
[ Proposed improvements to the Khronos OpenCL man pages package ]
http://lists.alioth.debian.org/pipermail/pkg-nvidia-devel/2013-May/008827.html