Rename-library.patch
use_std_automake.patch
The-external-PAL-library-in-Debian-is-called-starlink-pal.patch
workround_armhf_compiler_bug.patch
Disable-tests.patch
Check-the-values-returned-by-the-test.patch
reproducible.patch
