Debian Patches
Status for elan/4.1.2-2
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| 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-09-19 | ||
| dependencies.patch | Adjust dependencies for Debian | Christopher Hoskin <mans0954@debian.org> | not-needed | 2025-09-19 | ||
| pulldown-cmark.patch | Patch for version of pulldown-cmark in Debian | 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 | ||
| build.patch | Adjust build to block self-update, install as elan | Christopher Hoskin <mans0954@debian.org> | not-needed | 2025-09-19 |