;; /tmp/bigloo/api/pulseaudio/src
;; Mon Nov  9 08:07:36 2020

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

