petersen has set the watchcommits acl on Agda-stdlib (Fedora 20) to Obsolete for haskell-sig To make changes to this package see: https://admin.fedoraproject.org/pkgdb/acls/name/Agda-stdlib