Title:          pulseaudio-dev.tcz
Description:    pulseaudio devs
Version:        9.0
Author:         see list of sites below
Original-site:  see list of sites below
Copying-policy: see list of sites below
Size: 128KB
Extension_by:   juanito
Tags:	        pulseaudio sound server audio dev
Comments:       headers, pc files, etc for pulseaudio
                ----------
                This extension contains:
                pulseaudio-9.0 - GPLv2 - http://freedesktop.org/software/pulseaudio/releases/pulseaudio-9.0.tar.xz
                ----------
Change-log:     2014/04/21 first version
                2016/11/19 updated 5.0 -> 9.0
Current:        2018/12/28 recompiled for updated gdbm