libfloat-coq 1:8.4-4 / usr / share

This file is indexed.

/usr/share/ is in libfloat-coq 1:8.4-4.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/share/doc/ root:root 0o755
/usr/share/doc/libfloat-coq/ root:root 0o755
/usr/share/doc/libfloat-coq/html/ root:root 0o755
/usr/share/doc/libfloat-coq/html/Float.FnElem.FArgReduct.html text/html root:root 0o644 405.0 KB
/usr/share/doc/libfloat-coq/html/Float.MSB.html text/html root:root 0o644 224.7 KB
/usr/share/doc/libfloat-coq/html/Float.Fbound.html text/html root:root 0o644 140.7 KB
/usr/share/doc/libfloat-coq/html/Float.Others.Veltkamp.html text/html root:root 0o644 2.7 MB
/usr/share/doc/libfloat-coq/html/Float.FnElem.FmaErrApprox.html text/html root:root 0o644 956.2 KB
/usr/share/doc/libfloat-coq/html/Float.Fodd.html text/html root:root 0o644 149.1 KB
/usr/share/doc/libfloat-coq/html/Float.Option.html text/html root:root 0o644 1.4 KB
/usr/share/doc/libfloat-coq/html/Float.FSucc.html text/html root:root 0o644 390.8 KB
/usr/share/doc/libfloat-coq/html/Float.Faux.html text/html root:root 0o644 403.8 KB
/usr/share/doc/libfloat-coq/html/Float.Expansions.FexpDiv.html text/html root:root 0o644 357.7 KB
/usr/share/doc/libfloat-coq/html/Float.Ct2.FboundI.html text/html root:root 0o644 277.3 KB
/usr/share/doc/libfloat-coq/html/Float.Others.DblRndOdd.html text/html root:root 0o644 686.8 KB
/usr/share/doc/libfloat-coq/html/Float.Fmin.html text/html root:root 0o644 225.3 KB
/usr/share/doc/libfloat-coq/html/Float.FnElem.FArgReduct2.html text/html root:root 0o644 1.1 MB
/usr/share/doc/libfloat-coq/html/Float.FnElem.DoubleRound.html text/html root:root 0o644 67.6 KB
/usr/share/doc/libfloat-coq/html/Float.FnElem.FmaErrApprox2.html text/html root:root 0o644 1.0 MB
/usr/share/doc/libfloat-coq/html/Float.FnElem.FIA64elem.html text/html root:root 0o644 165.6 KB
/usr/share/doc/libfloat-coq/html/Float.FPred.html text/html root:root 0o644 201.3 KB
/usr/share/doc/libfloat-coq/html/Float.Expansions.Fexp2.html text/html root:root 0o644 152.9 KB
/usr/share/doc/libfloat-coq/html/Float.RND.html text/html root:root 0o644 374.6 KB
/usr/share/doc/libfloat-coq/html/Float.Fcomp.html text/html root:root 0o644 104.8 KB
/usr/share/doc/libfloat-coq/html/Float.Others.discriminant2.html text/html root:root 0o644 992.3 KB
/usr/share/doc/libfloat-coq/html/Float.Expansions.TwoSum.html text/html root:root 0o644 249.4 KB
/usr/share/doc/libfloat-coq/html/Float.sTactic.html text/html root:root 0o644 6.1 KB
/usr/share/doc/libfloat-coq/html/Float.FnElem.MinOrMax.html text/html root:root 0o644 100.2 KB
/usr/share/doc/libfloat-coq/html/Float.Others.AlgoPredSucc.html text/html root:root 0o644 1.6 MB
/usr/share/doc/libfloat-coq/html/Float.Fprop.html text/html root:root 0o644 51.8 KB
/usr/share/doc/libfloat-coq/html/Float.Finduct.html text/html root:root 0o644 102.8 KB
/usr/share/doc/libfloat-coq/html/Float.Zenum.html text/html root:root 0o644 57.8 KB
/usr/share/doc/libfloat-coq/html/Float.FroundPlus.html text/html root:root 0o644 271.9 KB
/usr/share/doc/libfloat-coq/html/Float.ClosestMult.html text/html root:root 0o644 189.7 KB
/usr/share/doc/libfloat-coq/html/Float.Closest2Prop.html text/html root:root 0o644 20.9 KB
/usr/share/doc/libfloat-coq/html/Float.ClosestProp.html text/html root:root 0o644 338.3 KB
/usr/share/doc/libfloat-coq/html/Float.Ct2.FnormI.html text/html root:root 0o644 781.1 KB
/usr/share/doc/libfloat-coq/html/Float.FnElem.FmaErr.html text/html root:root 0o644 1.0 MB
/usr/share/doc/libfloat-coq/html/coqdoc.css text/plain root:root 0o644 5.1 KB
/usr/share/doc/libfloat-coq/html/Float.Expansions.FexpAdd.html text/html root:root 0o644 718.1 KB
/usr/share/doc/libfloat-coq/html/Float.FnElem.FArgReduct3.html text/html root:root 0o644 491.4 KB
/usr/share/doc/libfloat-coq/html/Float.Fnorm.html text/html root:root 0o644 381.5 KB
/usr/share/doc/libfloat-coq/html/Float.FnElem.FArgReduct4.html text/html root:root 0o644 993.4 KB
/usr/share/doc/libfloat-coq/html/Float.Fop.html text/html root:root 0o644 71.5 KB
/usr/share/doc/libfloat-coq/html/Float.Others.PradixE.html text/html root:root 0o644 401.6 KB
/usr/share/doc/libfloat-coq/html/Float.Float.html text/html root:root 0o644 128.1 KB
/usr/share/doc/libfloat-coq/html/Float.ClosestPlus.html text/html root:root 0o644 353.3 KB
/usr/share/doc/libfloat-coq/html/Float.Others.FroundDivSqrt.html text/html root:root 0o644 648.3 KB
/usr/share/doc/libfloat-coq/html/Float.Expansions.Fast2Diff.html text/html root:root 0o644 52.4 KB
/usr/share/doc/libfloat-coq/html/Float.Expansions.EFast2Sum.html text/html root:root 0o644 156.8 KB
/usr/share/doc/libfloat-coq/html/Float.Expansions.ThreeSumProps.html text/html root:root 0o644 406.0 KB
/usr/share/doc/libfloat-coq/html/Float.Others.Divnk.html text/html root:root 0o644 307.1 KB
/usr/share/doc/libfloat-coq/html/index.html text/html root:root 0o644 1.4 MB
/usr/share/doc/libfloat-coq/html/Float.MSBProp.html text/html root:root 0o644 31.6 KB
/usr/share/doc/libfloat-coq/html/Float.Others.discriminant.html text/html root:root 0o644 1.0 MB
/usr/share/doc/libfloat-coq/html/Float.FnElem.Axpy.html text/html root:root 0o644 1.4 MB
/usr/share/doc/libfloat-coq/html/Float.Expansions.ThreeSum2.html text/html root:root 0o644 276.8 KB
/usr/share/doc/libfloat-coq/html/Float.Expansions.FexpPlus.html text/html root:root 0o644 277.6 KB
/usr/share/doc/libfloat-coq/html/Float.Fround.html text/html root:root 0o644 130.8 KB
/usr/share/doc/libfloat-coq/html/Float.Others.FminOp.html text/html root:root 0o644 533.4 KB
/usr/share/doc/libfloat-coq/html/Float.Paux.html text/html root:root 0o644 430.7 KB
/usr/share/doc/libfloat-coq/html/Float.AllFloat.html text/html root:root 0o644 1.0 KB
/usr/share/doc/libfloat-coq/html/Float.Closest.html text/html root:root 0o644 254.3 KB
/usr/share/doc/libfloat-coq/html/Float.Others.discriminant3.html text/html root:root 0o644 1.4 MB
/usr/share/doc/libfloat-coq/html/toc.html text/html root:root 0o644 5.6 KB
/usr/share/doc/libfloat-coq/html/Float.Rpow.html text/html root:root 0o644 113.0 KB
/usr/share/doc/libfloat-coq/html/Float.FnElem.FmaErr2.html text/html root:root 0o644 1.1 MB
/usr/share/doc/libfloat-coq/html/Float.FroundMult.html text/html root:root 0o644 385.0 KB
/usr/share/doc/libfloat-coq/html/Float.Digit.html text/html root:root 0o644 133.5 KB
/usr/share/doc/libfloat-coq/html/Float.Closest2Plus.html text/html root:root 0o644 114.2 KB
/usr/share/doc/libfloat-coq/html/Float.Others.Dekker.html text/html root:root 0o644 1.6 MB
/usr/share/doc/libfloat-coq/html/Float.Fsucc.html text/html root:root 0o644 637 bytes
/usr/share/doc/libfloat-coq/html/Float.Expansions.Fexp.html text/html root:root 0o644 147.6 KB
/usr/share/doc/libfloat-coq/html/Float.Expansions.Fast2Sum.html text/html root:root 0o644 158.1 KB
/usr/share/doc/libfloat-coq/html/Float.FroundProp.html text/html root:root 0o644 583.9 KB
/usr/share/doc/libfloat-coq/html/Float.Zdivides.html text/html root:root 0o644 192.1 KB
/usr/share/doc/libfloat-coq/html/Float.Others.FmaEmul.html text/html root:root 0o644 898.9 KB
/usr/share/doc/libfloat-coq/changelog.Debian.gz application/gzip root:root 0o644 1.3 KB
/usr/share/doc/libfloat-coq/copyright text/plain root:root 0o644 1.6 KB

APT Browse - Built by Thomas Orozco.