Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
---|---|---|---|---|---|---|
var-lib-agda | See https://github.com/agda/agda/issues/2804 =================================================================== |
no | ||||
agda-mode-deps | remove internal agda-mode dependencies agda-mode provides annotation.el and eri.el, which therefore cannot be external dependencies, but are declared so nonetheless . =================================================================== |
Marcel Fourn <debian@marcelfourne.de> | no | debian | other | 2022-12-06 |
newer-deps | =================================================================== | no |