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