Debian Patches
Status for sail-ocaml/0.20.2+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 |
All known versions for source package 'sail-ocaml'
- 0.20.2+dfsg-1 (sid)
- 0.19.1+dfsg5-1 (forky)