package info
(click to toggle)
Folder: patches
 |
.. (parent) | |||
 |
- | rw-r--r-- | 718 | 0001-ldflags-for-recent-JDK.patch |
|
- | rw-r--r-- | 806 | 0002-Do-not-link-jni.cma-with-custom.patch |
|
- | rw-r--r-- | 23,739 | 0003-Fix-compilation-with-OCaml-5.x.patch |
|
- | rw-r--r-- | 119 | series |