/debian/patches/
../
1-disable-openmpi.patch
2-disable-rootdir-test.patch
3-debian-sysconfig-layout.patch
5-fputc.patch
series