Debian Patches
Status for elpi/2.0.7-3
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| 0003-Disable-trace-browser-elab-broken1-test.patch | Disable trace-browser-elab-broken1 test | Stephane Glondu <steph@glondu.net> | no | 2025-12-28 | ||
| 0001-Fix-compilation-with-atdgen-2.16.patch | Fix compilation with atdgen 2.16 | Stephane Glondu <glondu@debian.org> | no | 2025-02-13 | ||
| 0002-Fix-compilation-with-ppxlib-0.36.0.patch | Fix compilation with ppxlib 0.36.0 | Stephane Glondu <glondu@debian.org> | no | debian | https://github.com/LPCIC/elpi/commit/bedd44cf77037778b82bf9d75b4c36f1fdd0d62d | 2025-09-11 |