0001-ldflags-for-recent-JDK.patch
0002-Do-not-link-jni.cma-with-custom.patch
0003-Fix-compilation-with-OCaml-5.x.patch
