Debian Patches
Status for elpi/2.0.7-2
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| 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 |