[pkgdb] coq was added for amdunn

[Fedora PackageDB (pkgdb)]

Kevin Fenzi (kevin) has added Package coq with summary Coq proof management system
Kevin Fenzi (kevin) has approved Package coq
Kevin Fenzi (kevin) has added a Fedora devel branch for coq with an owner of amdunn
Kevin Fenzi (kevin) has approved coq in Fedora devel
Kevin Fenzi (kevin) has approved Package coq
Kevin Fenzi (kevin) has set commit to Approved for cvsextras on coq (Fedora devel)
Kevin Fenzi (kevin) has set build to Approved for cvsextras on coq (Fedora devel)
Kevin Fenzi (kevin) has set checkout to Approved for cvsextras on coq (Fedora devel)

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