noah@minimal:~$ dpkg -l | grep pulse
ii  gstreamer0.10-pulseaudio             0.10.31-1ubuntu1                        GStreamer plugin for PulseAudio
ii  libpulse0                            1:1.1-0ubuntu15.1                       PulseAudio client libraries
ii  libpulsedsp                          1:1.1-0ubuntu15.1                       PulseAudio OSS pre-load library
ii  pulseaudio                           1:1.1-0ubuntu15.1                       PulseAudio sound server
ii  pulseaudio-module-x11                1:1.1-0ubuntu15.1                       X11 module for PulseAudio sound server
ii  pulseaudio-utils                     1:1.1-0ubuntu15.1                       Command line tools for the PulseAudio sound server
ii  vlc-plugin-pulse                     2.0.3-0ubuntu0.12.04.1                  PulseAudio plugin for VLC