Rename-library.patch
use_std_automake.patch
The-external-PAL-library-in-Debian-is-called-starlink-pal.patch
Use-cminpack-provided-by-Debian.patch
workround_armhf_compiler_bug.patch
Disable-tests.patch
