Package: pulseaudio
Pin: release o=Debian
Pin-Priority: -1