| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| sysconfdif | no | |||||
| makefile | no | |||||
| manpages | no | |||||
| set-editor | set default editor to sensible-editor | Uwe Steinmann <steinm@debian.org> | not-needed | |||
| add-camlp-streams-to-dependencies-in-dun.patch | Add camlp-streams to dependencies in dune file | Stéphane Glondu <glondu@debian.org> | no | debian | 2025-01-29 |