Debian Patches
Status for elpi/2.0.7-1
| 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 |
| 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 |