Debian Patches
Status for elan/4.1.2-3
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| build.patch | Adjust build to block self-update, install as elan | Christopher Hoskin <mans0954@debian.org> | not-needed | 2025-09-19 | ||
| remove-markdown.patch | Replace markdown with pulldown-cmark | Christopher Hoskin <mans0954@debian.org> | yes | 2025-09-19 | ||
| windows.patch | Comment out Windows dependencies | Christopher Hoskin <mans0954@debian.org> | not-needed | 2025-09-19 | ||
| unused-deps.patch | Remove dependencies not actually referenced by the code https://github.com/leanprover/elan/pull/180 https://github.com/leanprover/elan/pull/179 |
Christopher Hoskin <mans0954@debian.org> | yes | 2025-10-04 | ||
| dependencies.patch | Adjust dependencies for Debian | Christopher Hoskin <mans0954@debian.org> | not-needed | 2025-10-04 | ||
| 0006-Upgrade-pulldown-cmark-from-0.11-to-0.13.patch | Upgrade pulldown-cmark from 0.11 to 0.13 | Christopher Hoskin <mans0954@debian.org> | no | 2025-10-04 |