Debian Patches
Status for sail-ocaml/0.20.3+dfsg-1
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| 01-adjust-plugins-path.patch | adjust plugin files of sail These files are arch independent and should be not in /usr/share |
Bo YU <vimer@debian.org> | not-needed | 2025-07-26 | ||
| 0002-Remove-reference-to-sail-mode.el-which-is-filtered-o.patch | Remove reference to sail-mode.el which is filtered out per DFSG | Stéphane Glondu <glondu@debian.org> | no | 2026-10-06 |
All known versions for source package 'sail-ocaml'
- 0.20.3+dfsg-1 (forky, sid)