use-debian-libs.patch
use_shared_libs.patch
avoid_privacy_breach.patch
spelling
portable_pause
no_gomp_needed
