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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-24 11:59:42 +0000