Bug#807148: glx-diversions: ffmpeg looks for libGL.so.1 while glx-diversions offers only libGL.so

[Xinyue Lu]

Package: glx-diversions
Version: 0.7.1
Severity: important

Dear Maintainer,


I've noticed that my ffmpeg doesn't work and reporting missing shared
library libGL.so.1.

The libgl1-mesa-glx is correctly installed, but the files libGL.so.1
does not appear in the right place.

I believe libGL.so.1 is included in the package above, but somehow
it's moved by another package.

So I start removing packages by guessing, and when I removed
glx-diversions (and it's dependencies), the files went back.

When the shared library went back, I can use ffmpeg without any problems.

I'd expect to have not only libGL.so linked to the correct version,
but also libGL.so.1, etc. At least this should not break other
packages such as ffmpeg.

Reproduce steps: (best effort guess)

1. Install `glx-diversions` and `ffmpeg` with apt
2. Execute `ffmpeg`
3. Read `ffmpeg: error while loading shared libraries: libGL.so.1:
cannot open shared object file: No such file or directory`


-- System Information:
Debian Release: stretch/sid
  APT prefers stable-updates
  APT policy: (500, 'stable-updates'), (500, 'testing'), (500, 'stable')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 4.0.0-2-amd64 (SMP w/4 CPU cores)
Locale: LANG=zh_CN.UTF-8, LC_CTYPE=zh_CN.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash
Init: systemd (via /run/systemd/system)