Confirmed that on 13.10 this also affects amd64 (probably because the Conflicts: mentioned above caused ocl-icd-libopencl1 to be removed), and that it can be fixed by deleting the nvidia libopenCL.so* files and installing the ocl-icd-libopencl1 ones (I manually copied them to /usr/local/lib and ran ldconfig, but suspect force-installing the package would also work).
I agree that taking libopencl1 out of nvidia-319 (already done in Debian) would be a good way to fix this.
Confirmed that on 13.10 this also affects amd64 (probably because the Conflicts: mentioned above caused ocl-icd-libopencl1 to be removed), and that it can be fixed by deleting the nvidia libopenCL.so* files and installing the ocl-icd-libopencl1 ones (I manually copied them to /usr/local/lib and ran ldconfig, but suspect force-installing the package would also work).
I agree that taking libopencl1 out of nvidia-319 (already done in Debian) would be a good way to fix this.