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 - https://www.freedesktop.org/software/pulseaudio/releases/pulseaudio-13.0.tar.xz
                ----------
Change-log:     first version
Current:        2020/10/11
