Filelist of package libfloat-coq in squeeze of architecture all

/usr/lib/coq/user-contrib/Float/AllFloat.vo
/usr/lib/coq/user-contrib/Float/Axpy.vo
/usr/lib/coq/user-contrib/Float/Closest.vo
/usr/lib/coq/user-contrib/Float/Closest2Plus.vo
/usr/lib/coq/user-contrib/Float/Closest2Prop.vo
/usr/lib/coq/user-contrib/Float/ClosestMult.vo
/usr/lib/coq/user-contrib/Float/ClosestPlus.vo
/usr/lib/coq/user-contrib/Float/ClosestProp.vo
/usr/lib/coq/user-contrib/Float/DblRndOdd.vo
/usr/lib/coq/user-contrib/Float/Dekker.vo
/usr/lib/coq/user-contrib/Float/Digit.vo
/usr/lib/coq/user-contrib/Float/Divnk.vo
/usr/lib/coq/user-contrib/Float/DoubleRound.vo
/usr/lib/coq/user-contrib/Float/EFast2Sum.vo
/usr/lib/coq/user-contrib/Float/FArgReduct.vo
/usr/lib/coq/user-contrib/Float/FArgReduct2.vo
/usr/lib/coq/user-contrib/Float/FArgReduct3.vo
/usr/lib/coq/user-contrib/Float/FArgReduct4.vo
/usr/lib/coq/user-contrib/Float/FIA64elem.vo
/usr/lib/coq/user-contrib/Float/FPred.vo
/usr/lib/coq/user-contrib/Float/FSucc.vo
/usr/lib/coq/user-contrib/Float/Fast2Diff.vo
/usr/lib/coq/user-contrib/Float/Fast2Sum.vo
/usr/lib/coq/user-contrib/Float/Faux.vo
/usr/lib/coq/user-contrib/Float/Fbound.vo
/usr/lib/coq/user-contrib/Float/FboundI.vo
/usr/lib/coq/user-contrib/Float/Fcomp.vo
/usr/lib/coq/user-contrib/Float/Fexp.vo
/usr/lib/coq/user-contrib/Float/Fexp2.vo
/usr/lib/coq/user-contrib/Float/FexpAdd.vo
/usr/lib/coq/user-contrib/Float/FexpDiv.vo
/usr/lib/coq/user-contrib/Float/FexpPlus.vo
/usr/lib/coq/user-contrib/Float/Finduct.vo
/usr/lib/coq/user-contrib/Float/Float.vo
/usr/lib/coq/user-contrib/Float/FmaEmul.vo
/usr/lib/coq/user-contrib/Float/FmaErr.vo
/usr/lib/coq/user-contrib/Float/FmaErrApprox.vo
/usr/lib/coq/user-contrib/Float/Fmin.vo
/usr/lib/coq/user-contrib/Float/FminOp.vo
/usr/lib/coq/user-contrib/Float/Fnorm.vo
/usr/lib/coq/user-contrib/Float/FnormI.vo
/usr/lib/coq/user-contrib/Float/Fodd.vo
/usr/lib/coq/user-contrib/Float/Fop.vo
/usr/lib/coq/user-contrib/Float/Fprop.vo
/usr/lib/coq/user-contrib/Float/Fround.vo
/usr/lib/coq/user-contrib/Float/FroundDivSqrt.vo
/usr/lib/coq/user-contrib/Float/FroundMult.vo
/usr/lib/coq/user-contrib/Float/FroundPlus.vo
/usr/lib/coq/user-contrib/Float/FroundProp.vo
/usr/lib/coq/user-contrib/Float/IEEE.vo
/usr/lib/coq/user-contrib/Float/MSB.vo
/usr/lib/coq/user-contrib/Float/MSBProp.vo
/usr/lib/coq/user-contrib/Float/MinOrMax.vo
/usr/lib/coq/user-contrib/Float/Option.vo
/usr/lib/coq/user-contrib/Float/Paux.vo
/usr/lib/coq/user-contrib/Float/PradixE.vo
/usr/lib/coq/user-contrib/Float/RND.vo
/usr/lib/coq/user-contrib/Float/Rpow.vo
/usr/lib/coq/user-contrib/Float/ThreeSum2.vo
/usr/lib/coq/user-contrib/Float/ThreeSumProps.vo
/usr/lib/coq/user-contrib/Float/TwoSum.vo
/usr/lib/coq/user-contrib/Float/Veltkamp.vo
/usr/lib/coq/user-contrib/Float/Zdivides.vo
/usr/lib/coq/user-contrib/Float/Zenum.vo
/usr/lib/coq/user-contrib/Float/discriminant.vo
/usr/lib/coq/user-contrib/Float/discriminant2.vo
/usr/lib/coq/user-contrib/Float/discriminant3.vo
/usr/lib/coq/user-contrib/Float/sTactic.vo
/usr/share/doc/libfloat-coq/changelog.Debian.gz
/usr/share/doc/libfloat-coq/copyright
/usr/share/doc/libfloat-coq/html/Float.AllFloat.html
/usr/share/doc/libfloat-coq/html/Float.Closest.html
/usr/share/doc/libfloat-coq/html/Float.Closest2Plus.html
/usr/share/doc/libfloat-coq/html/Float.Closest2Prop.html
/usr/share/doc/libfloat-coq/html/Float.ClosestMult.html
/usr/share/doc/libfloat-coq/html/Float.ClosestPlus.html
/usr/share/doc/libfloat-coq/html/Float.ClosestProp.html
/usr/share/doc/libfloat-coq/html/Float.Ct2.FboundI.html
/usr/share/doc/libfloat-coq/html/Float.Ct2.FnormI.html
/usr/share/doc/libfloat-coq/html/Float.Digit.html
/usr/share/doc/libfloat-coq/html/Float.Expansions.EFast2Sum.html
/usr/share/doc/libfloat-coq/html/Float.Expansions.Fast2Diff.html
/usr/share/doc/libfloat-coq/html/Float.Expansions.Fast2Sum.html
/usr/share/doc/libfloat-coq/html/Float.Expansions.Fexp.html
/usr/share/doc/libfloat-coq/html/Float.Expansions.Fexp2.html
/usr/share/doc/libfloat-coq/html/Float.Expansions.FexpAdd.html
/usr/share/doc/libfloat-coq/html/Float.Expansions.FexpDiv.html
/usr/share/doc/libfloat-coq/html/Float.Expansions.FexpPlus.html
/usr/share/doc/libfloat-coq/html/Float.Expansions.ThreeSum2.html
/usr/share/doc/libfloat-coq/html/Float.Expansions.ThreeSumProps.html
/usr/share/doc/libfloat-coq/html/Float.Expansions.TwoSum.html
/usr/share/doc/libfloat-coq/html/Float.FPred.html
/usr/share/doc/libfloat-coq/html/Float.FSucc.html
/usr/share/doc/libfloat-coq/html/Float.Faux.html
/usr/share/doc/libfloat-coq/html/Float.Fbound.html
/usr/share/doc/libfloat-coq/html/Float.Fcomp.html
/usr/share/doc/libfloat-coq/html/Float.Finduct.html
/usr/share/doc/libfloat-coq/html/Float.Float.html
/usr/share/doc/libfloat-coq/html/Float.Fmin.html
/usr/share/doc/libfloat-coq/html/Float.FnElem.Axpy.html
/usr/share/doc/libfloat-coq/html/Float.FnElem.DoubleRound.html
/usr/share/doc/libfloat-coq/html/Float.FnElem.FArgReduct.html
/usr/share/doc/libfloat-coq/html/Float.FnElem.FArgReduct2.html
/usr/share/doc/libfloat-coq/html/Float.FnElem.FArgReduct3.html
/usr/share/doc/libfloat-coq/html/Float.FnElem.FArgReduct4.html
/usr/share/doc/libfloat-coq/html/Float.FnElem.FIA64elem.html
/usr/share/doc/libfloat-coq/html/Float.FnElem.FmaErr.html
/usr/share/doc/libfloat-coq/html/Float.FnElem.FmaErrApprox.html
/usr/share/doc/libfloat-coq/html/Float.FnElem.MinOrMax.html
/usr/share/doc/libfloat-coq/html/Float.Fnorm.html
/usr/share/doc/libfloat-coq/html/Float.Fodd.html
/usr/share/doc/libfloat-coq/html/Float.Fop.html
/usr/share/doc/libfloat-coq/html/Float.Fprop.html
/usr/share/doc/libfloat-coq/html/Float.Fround.html
/usr/share/doc/libfloat-coq/html/Float.FroundMult.html
/usr/share/doc/libfloat-coq/html/Float.FroundPlus.html
/usr/share/doc/libfloat-coq/html/Float.FroundProp.html
/usr/share/doc/libfloat-coq/html/Float.MSB.html
/usr/share/doc/libfloat-coq/html/Float.MSBProp.html
/usr/share/doc/libfloat-coq/html/Float.Option.html
/usr/share/doc/libfloat-coq/html/Float.Others.DblRndOdd.html
/usr/share/doc/libfloat-coq/html/Float.Others.Dekker.html
/usr/share/doc/libfloat-coq/html/Float.Others.Divnk.html
/usr/share/doc/libfloat-coq/html/Float.Others.FmaEmul.html
/usr/share/doc/libfloat-coq/html/Float.Others.FminOp.html
/usr/share/doc/libfloat-coq/html/Float.Others.FroundDivSqrt.html
/usr/share/doc/libfloat-coq/html/Float.Others.IEEE.html
/usr/share/doc/libfloat-coq/html/Float.Others.PradixE.html
/usr/share/doc/libfloat-coq/html/Float.Others.Veltkamp.html
/usr/share/doc/libfloat-coq/html/Float.Others.discriminant.html
/usr/share/doc/libfloat-coq/html/Float.Others.discriminant2.html
/usr/share/doc/libfloat-coq/html/Float.Others.discriminant3.html
/usr/share/doc/libfloat-coq/html/Float.Paux.html
/usr/share/doc/libfloat-coq/html/Float.RND.html
/usr/share/doc/libfloat-coq/html/Float.Rpow.html
/usr/share/doc/libfloat-coq/html/Float.Zdivides.html
/usr/share/doc/libfloat-coq/html/Float.Zenum.html
/usr/share/doc/libfloat-coq/html/Float.sTactic.html
/usr/share/doc/libfloat-coq/html/coqdoc.css
/usr/share/doc/libfloat-coq/html/index.html
/usr/share/doc/libfloat-coq/html/toc.html