fix-texinfo.diff
gps-integration.patch
build.patch
adapt_test_to_debian.diff
