https://bugzilla.redhat.com/show_bug.cgi?id=839260 Jens Petersen <petersen at redhat.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Alias| |Agda-stdlib -- You are receiving this mail because: You are on the CC list for the bug.