Content of RPM
flocq-doc-4.1.4-lp155.17.1.noarch.rpm :
/usr/share/doc/packages/flocq-doc
/usr/share/doc/packages/flocq-doc/html
/usr/share/doc/packages/flocq-doc/html/Flocq.Calc.Bracket.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Calc.Div.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Calc.Operations.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Calc.Plus.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Calc.Round.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Calc.Sqrt.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.Core.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.Defs.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.Digits.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.FIX.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.FLT.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.FLX.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.FTZ.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.Float_prop.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.Generic_fmt.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.Raux.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.Round_NE.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.Round_pred.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.Ulp.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.Zaux.html
/usr/share/doc/packages/flocq-doc/html/Flocq.IEEE754.Binary.html
/usr/share/doc/packages/flocq-doc/html/Flocq.IEEE754.BinarySingleNaN.html
/usr/share/doc/packages/flocq-doc/html/Flocq.IEEE754.Bits.html
/usr/share/doc/packages/flocq-doc/html/Flocq.IEEE754.Int63Compat.html
/usr/share/doc/packages/flocq-doc/html/Flocq.IEEE754.PrimFloat.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Pff.Nat2Z_8_12.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Pff.Pff.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Pff.Pff2Flocq.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Pff.Pff2FlocqAux.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Prop.Div_sqrt_error.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Prop.Double_rounding.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Prop.Mult_error.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Prop.Plus_error.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Prop.Relative.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Prop.Round_odd.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Prop.Sterbenz.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Version.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
