;; /tmp/bigloo/api/pulseaudio/src
;; Mon Jan 27 07:55:52 2025

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

