[pkgdb] Agda-stdlib was added for petersen

[Fedora PackageDB]

limb has added Package Agda-stdlib with summary Agda standard library
limb has approved Package Agda-stdlib
limb has added a Fedora devel branch for Agda-stdlib with an owner of petersen
limb has approved Agda-stdlib in Fedora devel
limb has approved Package Agda-stdlib
limb has set commit to Approved for provenpackager on Agda-stdlib (Fedora devel)
limb has set checkout to Approved for provenpackager on Agda-stdlib (Fedora devel)

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