Control: found -1 ocl-icd-libopencl1/2.1.3-4 > But nvidia-opencl-dev conflicts with opencl-dev, and ocl-icd-liopencl1 > conflicts with libopencl1. > There is no explicit conflict between each other.
As long as ocl-icd-liopencl1 is providing a file that conflicts with nvidia-opencl-dev, they should conflict with each other. > If you install ocl-icd-opencl-dev *after* nvidia-cuda-toolkit, the problem > does not occur. That's because ocl-icd-libopencl1 has Replaces: nvidia-libopencl1-dev Both packages simply having Replaces, and no Conflicts/Breaks, could work. # dpkg-deb -c /var/cache/apt/archives/ocl-icd-libopencl1_2.1.3-4_amd64.deb | grep libOpenCL.so -rw-r--r-- root/root 35200 2014-02-07 00:38 ./usr/lib/x86_64-linux-gnu/libOpenCL.so.1.0.0 lrwxrwxrwx root/root 0 2014-02-07 00:38 ./usr/lib/x86_64-linux-gnu/libOpenCL.so -> libOpenCL.so.1.0.0 lrwxrwxrwx root/root 0 2014-02-07 00:38 ./usr/lib/x86_64-linux-gnu/libOpenCL.so.1 -> libOpenCL.so.1.0.0 # dpkg-deb -c /var/cache/apt/archives/nvidia-opencl-dev_5.5.22-4_amd64.deb | grep libOpenCL.so lrwxrwxrwx root/root 0 2014-05-25 01:36 ./usr/lib/x86_64-linux-gnu/libOpenCL.so -> libOpenCL.so.1 # dpkg-deb -c /var/cache/apt/archives/nvidia-libopencl1_340.24-2_amd64.deb | grep libOpenCL -rw-r--r-- root/root 21712 2014-07-03 00:18 ./usr/lib/x86_64-linux-gnu/libOpenCL.so.1.0.0 lrwxrwxrwx root/root 0 2014-07-20 10:31 ./usr/lib/x86_64-linux-gnu/libOpenCL.so.1 -> libOpenCL.so.1.0.0 So, Either nvidia-libopencl1-dev should gain a Replaces: ocl-icd-libopencl1. Or ocl-icd-libopencl1 should Conflict on nvidia-libopencl1-dev, instead of Replacing it. The first option allows higher installability. The second option keeps all the relationships confined to ocl-icd-libopencl1, which is the package breaking policy (#679228). SR -- Stefano Rivera http://tumbleweed.org.za/ H: +27 21 461 1230 C: +27 72 419 8559 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org