0001-Add-distclean-back-to-test-suite-Makefile.patch
0002-coq_micromega.ml-fix-order-of-recursive-calls-to-rco.patch