https://bugzilla.redhat.com/show_bug.cgi?id=991929
Fedora Update System updates@fedoraproject.org changed:
What |Removed |Added ---------------------------------------------------------------------------- Status|ON_QA |CLOSED Fixed In Version| |Agda-2.6.0.1-24.fc32 Resolution|--- |ERRATA Last Closed|2017-12-12 10:25:05 |2021-02-10 01:29:31
--- Comment #19 from Fedora Update System updates@fedoraproject.org --- FEDORA-2021-19ca34434c has been pushed to the Fedora 32 stable repository. If problem still persists, please make note of it in this bug report.
haskell-devel@lists.fedoraproject.org