[pkgdb] flocq was added for jjames

[Fedora PackageDB]

jkeating has added Package flocq with summary Formalization of floating point numbers for Coq
jkeating has approved Package flocq
jkeating has added a Fedora devel branch for flocq with an owner of jjames
jkeating has approved flocq in Fedora devel
jkeating has approved Package flocq
jkeating has set checkout to Approved for provenpackager on flocq (Fedora devel)
jkeating has set commit to Approved for provenpackager on flocq (Fedora devel)

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