[pkgdb] Agda-stdlib (Fedora, 19) updated by limb

[Fedora PackageDB]

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

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