Just in case there is anything unusual in the deb file itself, I have put it here: https://people.debian.org/~fsateler/pulseaudio_9.0-3_amd64.deb -- Saludos, Felipe Sateler