[pkgdb] ghc-Agda was added for petersen

[Fedora PackageDB]

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

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