Bug#835818: Acknowledgement (apt: segmentation fault in apt install /local-file.deb)

[Felipe Sateler]

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