summaryrefslogtreecommitdiff
path: root/debian/patches/series
blob: 41965593b15ca872bd78b53af33c48e7b4b8e244 (plain)
1
2
0001-Add-distclean-back-to-test-suite-Makefile.patch
0002-coq_micromega.ml-fix-order-of-recursive-calls-to-rco.patch