usercflags.patch
pd2puredata.patch
usrlibpd_path.patch
fixmanpage.patch
kfreebsd_fixes.patch
audio_oss_cleanup.patch
hurd_fixes.patch
clean_helpbrowser.patch
default_audio_api.patch
default_midi_api.patch
flush-to-disk.patch
fix_segfault_with_DSP_loop.patch
fix_typepunning.patch
