Yes, installing libsdl-1.2debian-pulseaudio should solve the issue.
If not, try removing any libsdl-1.2debian-* package and install libsdl-1.2debian-all instead.
Cesare.
Yes, installing libsdl- 1.2debian- pulseaudio should solve the issue.
If not, try removing any libsdl-1.2debian-* package and install libsdl- 1.2debian- all instead.
Cesare.