0001-remove-empty-directory.patch
0002-deactivate-ode-unit-tests.patch
0003-relax-failing-unit-test.patch
0004-workaround-for-compiler-bug.patch
0005-do-not-update-doc-commands.txt-automatically.patch
0006-on-Deban-never-use-git-version.patch
0007-add-CXXFLAGS-to-nvcc-to-fix-C-build-issue.patch
0008-relax-a-failing-test.patch
0009-backport-specfun-fixes.patch
0010-turn-off-one-test-on-i386.patch
