tibbs approved watchbugzilla on Agda (Fedora devel) for haskell-sig tibbs approved watchcommits on Agda (Fedora devel) for haskell-sig To make changes to this package see: https://admin.fedoraproject.org/pkgdb/acls/name/Agda