0002-remove-empty-directory.patch
0003-deactivate-ode-unit-tests.patch
0004-relax-failing-unit-test.patch
0005-workaround-for-compiler-bug.patch
0006-do-not-update-doc-commands.txt-automatically.patch
0007-backported-test-fixes.patch
0007-on-Deban-never-use-git-version.patch
