Community Packages

Please read this before reporting a bug:
https://wiki.archlinux.org/title/Bug_reporting_guidelines

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