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: 112KB
Extension_by:   juanito
Tags:	        pulseaudio sound server audio dev
Comments:       headers, pc files, etc for pulseaudio
                ----------
                This extension contains:
                pulseaudio-13.0 - GPLv2 - https://www.freedesktop.org/software/pulseaudio/releases/pulseaudio-13.0.tar.xz
                ----------
Change-log:     2017/03/15 first version
Current:        2020/04/19 updated 9.0 -> 13.0