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 |