user: till set for ocamlmaint acl: watchbugzilla of package: coq from: Approved to: Obsolete on branch: f19 To make changes to this package see: https://admin.fedoraproject.org/pkgdb/package/coq