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

[Fedora PackageDB]

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

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