Community Packages

Please read this before reporting a bug:

Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.

REPEAT: Do NOT report bugs for outdated packages!
ID Task Type Category Severity Summary Opened Status Comments Attachments Last Edited
61904 Bug Report Packages High [agda] errors on loading the simplest agda source files 2019-03-03 Assigned 2 0 2020-07-31
64600 Bug Report Packages Medium [agda] fixing agda-stdlib 2019-11-21 Assigned 2 3 2020-07-31
69419 Bug Report Packages Low agda looks for stdlib in different folder then where st... 2021-01-23 Assigned 0 0
67348 Bug Report Packages Low [agda] Elisp files don't get compiled 2020-07-21 Assigned 0 0
Showing tasks 1 - 4 of 4 Page 1 of 1