pulseaudio-module-lirc-dbg 1:4.0-0ubuntu2+build1 (armhf binary) in ubuntu saucy

 PulseAudio, previously known as Polypaudio, is a sound server for POSIX and
 WIN32 systems. It is a drop in replacement for the ESD sound server with
 much better latency, mixing/re-sampling quality and overall architecture.
 .
 This package contains debugging symbols for the PulseAudio lirc module.