[pkgdb] Agda (Fedora, 16) updated by tibbs

[Fedora PackageDB]

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

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