upstream-fix-test-Troubleshooting_real_maxima-maxima_preload.patch
debianization.patch
debianization-tests-WXM_TEST_TIMEOUT.patch
debianization-tests-relax.patch
