Content of RPM
flocq-doc-2.5.1-3.3.x86_64.rpm :
/usr/share/doc/packages/flocq-doc
/usr/share/doc/packages/flocq-doc/html
/usr/share/doc/packages/flocq-doc/html/Flocq.Appli.Fappli_IEEE.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Appli.Fappli_IEEE_bits.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Appli.Fappli_double_round.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Appli.Fappli_rnd_odd.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Calc.Fcalc_bracket.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Calc.Fcalc_digits.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Calc.Fcalc_div.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Calc.Fcalc_ops.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Calc.Fcalc_round.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Calc.Fcalc_sqrt.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.Fcore.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.Fcore_FIX.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.Fcore_FLT.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.Fcore_FLX.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.Fcore_FTZ.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.Fcore_Raux.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.Fcore_Zaux.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.Fcore_defs.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.Fcore_digits.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.Fcore_float_prop.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.Fcore_generic_fmt.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.Fcore_rnd.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.Fcore_rnd_ne.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.Fcore_ulp.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Flocq_version.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Prop.Fprop_Sterbenz.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Prop.Fprop_div_sqrt_error.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Prop.Fprop_mult_error.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Prop.Fprop_plus_error.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Prop.Fprop_relative.html
/usr/share/doc/packages/flocq-doc/html/coqdoc.css
/usr/share/doc/packages/flocq-doc/html/index.html
/usr/share/doc/packages/flocq-doc/html/toc.html
