Bug#921533: nvidia-cuda-dev: cannot install with uuid-dev

Control: tag -1 pending On 2019-02-06 16:23, Giuseppe Bilotta wrote: > trying to install nvidia-cuda-dev when uuid-dev is installed fails > because both packages have a '/usr/share/man/man3/uuid.3.gz' file. The Already fixed in GIT. Andreas

Bug#921533: nvidia-cuda-dev: cannot install with uuid-dev

Package: nvidia-cuda-dev Version: 10.0.130-1 Severity: normal Hello, trying to install nvidia-cuda-dev when uuid-dev is installed fails because both packages have a '/usr/share/man/man3/uuid.3.gz' file. The one in nvidia-cuda-dev is a symlink to the cudaDeviceProp man page (because cudaDeviceProp