0001-stdin-stdout-fix-upstream-r12115.patch
0002-Remove-useless-sync-external-declaration.patch
0003-Fix-attempt-to-free-a-non-heap-object.patch
0004-Disable-warnings-introduced-in-OCaml-3.12.patch
