Package: pulseaudio-dbg Priority: optional Section: sound Installed-Size: 6218 Maintainer: Ubuntu Core Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Pulseaudio maintenance team <pkg-pulseaudio-devel@lists.alioth.debian.org> Architecture: amd64 Source: pulseaudio Version: 1:1.1-0ubuntu15 Replaces: pulseaudio-module-hal-dbg, pulseaudio-module-rygel-media-server-dbg (<< 1:1.1-0ubuntu15), pulseaudio-module-udev-dbg (<< 1:1.1-0ubuntu15) Depends: pulseaudio (= 1:1.1-0ubuntu15) Filename: pool/main/p/pulseaudio/pulseaudio-dbg_1.1-0ubuntu15_amd64.deb Size: 2207380 MD5sum: aa6e14812927d1b0330efe059c8f2a74 SHA1: 937bee3d8daeb12b261285c9142a09139e029f17 SHA256: cb3a6a342a0754fa6559bf30ea85391c0003e81a7f0903d019d17e8226ec0204 Description: PulseAudio sound server detached debugging symbols Homepage: http://www.pulseaudio.org Description-md5: 103971ea8a584aa6f8687fbb21eb1eec Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu Supported: 18m