ocl-icd-libopencl1 should conflicts,replaces nvidia-opencl-dev not nvidia-libopencl1-dev

Packages nvidia-opencl-dev and ocl-icd-libopencl1 both ship libOpenCL.so.
In Debian, libOpenCL.so was shipped by nvidia-libopencl1-dev in the past but since nvidia-cuda-toolkit 5.0.35-7 (August 2013) has been shipped by nvidia-opencl-dev instead. The conflicts and replaces package relationships in ocl-icd-libopencl1 were never updated.

[IMPACT]
Users with proprietary Nvidia graphics drivers have difficulty co-installing CUDA and OpenCL applications. e.g. python-pycuda and python-pyopencl, or wine and nvidia-cuda-toolkit.

[Test Case for Trusty]
Install ocl-icd-libopencl1 followed by nvidia-opencl-dev.
sudo apt-get install ocl-icd-libopencl1
sudo apt-get install nvidia-opencl-dev

Expected behaviour: ocl-icd-libopencl1 is removed and nvidia-opencl-dev is installed.

Actual behaviour: dpkg complains that libOpenCL.so is to be overwritten.

[Regression Potential]
Minimal: this change only affects relationships between packages.

-----------------------------------------------------------------------------

1.) Description: Ubuntu 14.04 LTS, Release: 14.04

2.) installed: ocl-icd-libopencl1 2.1.3-4, to be installed: nvidia-libopencl1-331 331.38-0ubuntu7

3.) The expected behaviour is a successful upgrade from ocl-icd-libopencd1 to nvidia-libopencl1-331

4.) nvidia-libopencl1-331's libOpenCL.so collides with the version of the installed ocl-icd-libopencd1 /usr/lib/x86_64-linux-gnu/libOpenCL.so

ProblemType: Package
DistroRelease: Ubuntu 14.04
Package: nvidia-opencl-dev 5.0.35-7ubuntu1
ProcVersionSignature: Ubuntu 3.13.0-24.46-generic 3.13.9
Uname: Linux 3.13.0-24-generic x86_64
NonfreeKernelModules: nvidia
ApportVersion: 2.14.1-0ubuntu3
Architecture: amd64
Date: Thu Apr 24 05:33:14 2014
DpkgTerminalLog:
 Vorbereitung zum Entpacken von .../nvidia-opencl-dev_5.5.22-3ubuntu1_amd64.deb ...
 Entpacken von nvidia-opencl-dev:amd64 (5.5.22-3ubuntu1) über (5.0.35-7ubuntu1) ...
 dpkg: Fehler beim Bearbeiten des Archivs /var/cache/apt/archives/nvidia-opencl-dev_5.5.22-3ubuntu1_amd64.deb (--unpack):
  Versuch, »/usr/lib/x86_64-linux-gnu/libOpenCL.so« zu überschreiben, welches auch in Paket ocl-icd-libopencl1:amd64 2.1.3-4 ist
DuplicateSignature: package:nvidia-opencl-dev:5.0.35-7ubuntu1:Versuch, »/usr/lib/x86_64-linux-gnu/libOpenCL.so« zu überschreiben, welches auch in Paket ocl-icd-libopencl1:amd64 2.1.3-4 ist
ErrorMessage: Versuch, »/usr/lib/x86_64-linux-gnu/libOpenCL.so« zu überschreiben, welches auch in Paket ocl-icd-libopencl1:amd64 2.1.3-4 ist
SourcePackage: nvidia-cuda-toolkit
Title: package nvidia-opencl-dev 5.0.35-7ubuntu1 failed to install/upgrade: Versuch, »/usr/lib/x86_64-linux-gnu/libOpenCL.so« zu überschreiben, welches auch in Paket ocl-icd-libopencl1:amd64 2.1.3-4 ist
UpgradeStatus: Upgraded to trusty on 2013-11-23 (151 days ago)