dankeschön für den Tipp!
pulseaudio 5.0-13 ist gelistet.

@hirnfrei:
und wie jetzt weiter?