[pkgdb] Agda was added for petersen

[Fedora PackageDB]

tibbs has added Package Agda with summary Dependently typed functional language commandline
tibbs has approved Package Agda
tibbs has added a Fedora devel branch for Agda with an owner of petersen
tibbs has approved Agda in Fedora devel
tibbs has approved Package Agda
tibbs has set checkout to Approved for provenpackager on Agda (Fedora devel)
tibbs has set commit to Approved for provenpackager on Agda (Fedora devel)

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