summaryrefslogtreecommitdiff
path: root/debian/patches/series
blob: f1d97c91e2cbaa2748a9a3f26b71d63038884b9d (plain) 
1
2

0001-test-suite-success-Nsatz.v-comment-out-Ceva.patch
0002-Fix-use-of-HASNATDYNLINK-in-coq_makefile-output.patch
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-09 22:47:16 +0000