[pkgdb] coq had acl change status

[Fedora PackageDB]

amdunn has set the watchbugzilla acl on coq (Fedora devel) to Approved for ocamlmaint

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