jkeating set package flocq summary to Formalization of floating point numbers for Coq To make changes to this package see: https://admin.fedoraproject.org/pkgdb/acls/name/flocq