[pkgdb] ghc-Agda (Fedora, 16) updated by limb

[Fedora PackageDB]

limb added a Fedora 16 branch for ghc-Agda
limb has set checkout to Approved for provenpackager on ghc-Agda (Fedora 16)
limb has set commit to Approved for provenpackager on ghc-Agda (Fedora 16)
limb approved watchbugzilla on ghc-Agda (Fedora 16) for haskell-sig
limb approved watchcommits on ghc-Agda (Fedora 16) for haskell-sig

To make changes to this package see:
  https://admin.fedoraproject.org/pkgdb/acls/name/ghc-Agda