;; /tmp/bigloo/api/pulseaudio/src
;; Tue Dec 18 14:27:16 2018

(
  (__pulseaudio_simple "bigloo.pulseaudio.simple")
  (__pulseaudio_music "bigloo.pulseaudio.music")
  (__pulseaudio_pulseaudio "bigloo.pulseaudio.pulseaudio")
  (__pulseaudio_makelib "bigloo.pulseaudio.make_lib")
)

