| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| 0001-ldflags-for-recent-JDK.patch | ldflags for recent JDK | Stefano Zacchiroli <zack@upsilon.cc> | no | 2009-11-26 | ||
| 0002-Do-not-link-jni.cma-with-custom.patch | Do not link jni.cma with -custom A failure happens in Debian because of the -custom behaviour override. |
Stephane Glondu <steph@glondu.net> | no | debian | 2022-01-03 | |
| 0003-Fix-compilation-with-OCaml-5.x.patch | Fix compilation with OCaml 5.x | Stephane Glondu <steph@glondu.net> | no | 2024-08-04 |