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
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
Showing tasks 1 - 2 of 2 Page 1 of 1