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

0001-Update-for-why-2.19.patch
0002-Disable-micromega-tests.patch
0003-Fix-build-with-OCaml-3.12.patch
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-13 18:33:49 +0000