https://bugzilla.redhat.com/show_bug.cgi?id=1104579
--- Comment #3 from Jens Petersen <peter...@redhat.com> --- Currently a subpackage of Agda -- You are receiving this mail because: You are on the CC list for the bug. You are always notified about changes to this product and component _______________________________________________ package-review mailing list -- package-review@lists.fedoraproject.org To unsubscribe send an email to package-review-le...@lists.fedoraproject.org