[pkgdb] gappalib-coq was added for jjames

[Fedora PackageDB]

limb has added Package gappalib-coq with summary Coq support library for gappa
limb has approved Package gappalib-coq
limb has added a Fedora devel branch for gappalib-coq with an owner of jjames
limb has approved gappalib-coq in Fedora devel
limb has approved Package gappalib-coq
limb has set checkout to Approved for provenpackager on gappalib-coq (Fedora devel)
limb has set commit to Approved for provenpackager on gappalib-coq (Fedora devel)

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