package info
(click to toggle)
Folder: patches
 |
.. (parent) | |||
 |
- | rw-r--r-- | 605 | 0001-Do-not-install-redundant-files.patch |
|
- | rw-r--r-- | 987 | 0002-Retry-waitpid-if-it-fails-with-EINTR.patch |
|
- | rw-r--r-- | 2,155 | 0003-possible-fix-for-concurrent-access-to-the-input-stre.patch |
|
- | rw-r--r-- | 3,006 | 0004-slightly-more-efficient-fix-for-concurrent-access-to.patch |
|
- | rw-r--r-- | 1,302 | 0005-Fix-compilation-with-OCaml-5.2.0.patch |
|
- | rw-r--r-- | 262 | series |