This file is indexed.

/usr/ 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/lib/coq/user-contrib/Float/Option.vo application/octet-stream root:root 0o644 2.9 KB
/usr/lib/coq/user-contrib/Float/Digit.vo application/octet-stream root:root 0o644 65.3 KB
/usr/lib/coq/user-contrib/Float/Fast2Sum.vo application/octet-stream root:root 0o644 70.0 KB
/usr/lib/coq/user-contrib/Float/Finduct.vo application/octet-stream root:root 0o644 63.8 KB
/usr/lib/coq/user-contrib/Float/Divnk.vo application/octet-stream root:root 0o644 151.5 KB
/usr/lib/coq/user-contrib/Float/Rpow.vo application/octet-stream root:root 0o644 51.2 KB
/usr/share/ root:root 0o755
/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/lib/coq/ root:root 0o755
/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
/usr/lib/ root:root 0o755
/usr/lib/coq/user-contrib/ root:root 0o755
/usr/lib/coq/user-contrib/Float/ root:root 0o755
/usr/lib/coq/user-contrib/Float/discriminant.vo application/octet-stream root:root 0o644 499.7 KB
/usr/lib/coq/user-contrib/Float/FmaErr.vo application/octet-stream root:root 0o644 991.1 KB
/usr/lib/coq/user-contrib/Float/Closest2Prop.vo application/octet-stream root:root 0o644 26.9 KB
/usr/lib/coq/user-contrib/Float/FroundMult.vo application/octet-stream root:root 0o644 252.2 KB
/usr/lib/coq/user-contrib/Float/FArgReduct.vo application/octet-stream root:root 0o644 255.8 KB
/usr/lib/coq/user-contrib/Float/Fexp.vo application/octet-stream root:root 0o644 88.5 KB
/usr/lib/coq/user-contrib/Float/Closest.vo application/octet-stream root:root 0o644 62.8 KB
/usr/lib/coq/user-contrib/Float/FroundProp.vo application/octet-stream root:root 0o644 184.2 KB
/usr/lib/coq/user-contrib/Float/Fbound.vo application/octet-stream root:root 0o644 58.6 KB
/usr/lib/coq/user-contrib/Float/Fprop.vo application/octet-stream root:root 0o644 27.7 KB
/usr/lib/coq/user-contrib/Float/ClosestPlus.vo application/octet-stream root:root 0o644 125.4 KB
/usr/lib/coq/user-contrib/Float/FroundPlus.vo application/octet-stream root:root 0o644 166.6 KB
/usr/lib/coq/user-contrib/Float/FArgReduct4.vo application/octet-stream root:root 0o644 1.5 MB
/usr/lib/coq/user-contrib/Float/FexpAdd.vo application/octet-stream root:root 0o644 979.4 KB
/usr/lib/coq/user-contrib/Float/TwoSum.vo application/octet-stream root:root 0o644 91.9 KB
/usr/lib/coq/user-contrib/Float/sTactic.vo application/octet-stream root:root 0o644 2.8 KB
/usr/lib/coq/user-contrib/Float/Closest2Plus.vo application/octet-stream root:root 0o644 42.9 KB
/usr/lib/coq/user-contrib/Float/FminOp.vo application/octet-stream root:root 0o644 317.1 KB
/usr/lib/coq/user-contrib/Float/DblRndOdd.vo application/octet-stream root:root 0o644 431.6 KB
/usr/lib/coq/user-contrib/Float/Fexp2.vo application/octet-stream root:root 0o644 113.6 KB
/usr/lib/coq/user-contrib/Float/Fmin.vo application/octet-stream root:root 0o644 85.7 KB
/usr/lib/coq/user-contrib/Float/FmaEmul.vo application/octet-stream root:root 0o644 1.2 MB
/usr/lib/coq/user-contrib/Float/Veltkamp.vo application/octet-stream root:root 0o644 4.4 MB
/usr/lib/coq/user-contrib/Float/EFast2Sum.vo application/octet-stream root:root 0o644 110.6 KB
/usr/lib/coq/user-contrib/Float/MSB.vo application/octet-stream root:root 0o644 88.0 KB
/usr/lib/coq/user-contrib/Float/AlgoPredSucc.vo application/octet-stream root:root 0o644 3.6 MB
/usr/lib/coq/user-contrib/Float/PradixE.vo application/octet-stream root:root 0o644 176.1 KB
/usr/lib/coq/user-contrib/Float/discriminant3.vo application/octet-stream root:root 0o644 1.0 MB
/usr/lib/coq/user-contrib/Float/Faux.vo application/octet-stream root:root 0o644 134.7 KB
/usr/lib/coq/user-contrib/Float/Fnorm.vo application/octet-stream root:root 0o644 204.1 KB
/usr/lib/coq/user-contrib/Float/FArgReduct2.vo application/octet-stream root:root 0o644 689.5 KB
/usr/lib/coq/user-contrib/Float/ClosestMult.vo application/octet-stream root:root 0o644 104.0 KB
/usr/lib/coq/user-contrib/Float/Axpy.vo application/octet-stream root:root 0o644 528.6 KB
/usr/lib/coq/user-contrib/Float/Fcomp.vo application/octet-stream root:root 0o644 47.9 KB
/usr/lib/coq/user-contrib/Float/Fodd.vo application/octet-stream root:root 0o644 87.6 KB
/usr/lib/coq/user-contrib/Float/Float.vo application/octet-stream root:root 0o644 76.0 KB
/usr/lib/coq/user-contrib/Float/ThreeSumProps.vo application/octet-stream root:root 0o644 201.7 KB
/usr/lib/coq/user-contrib/Float/ThreeSum2.vo application/octet-stream root:root 0o644 138.0 KB
/usr/lib/coq/user-contrib/Float/discriminant2.vo application/octet-stream root:root 0o644 439.2 KB
/usr/lib/coq/user-contrib/Float/ClosestProp.vo application/octet-stream root:root 0o644 124.0 KB
/usr/lib/coq/user-contrib/Float/Fast2Diff.vo application/octet-stream root:root 0o644 40.2 KB
/usr/lib/coq/user-contrib/Float/RND.vo application/octet-stream root:root 0o644 202.3 KB
/usr/lib/coq/user-contrib/Float/FmaErrApprox2.vo application/octet-stream root:root 0o644 744.4 KB
/usr/lib/coq/user-contrib/Float/FexpPlus.vo application/octet-stream root:root 0o644 106.5 KB
/usr/lib/coq/user-contrib/Float/AllFloat.vo application/octet-stream root:root 0o644 17.6 KB
/usr/lib/coq/user-contrib/Float/Paux.vo application/octet-stream root:root 0o644 139.9 KB
/usr/lib/coq/user-contrib/Float/FmaErrApprox.vo application/octet-stream root:root 0o644 1.8 MB
/usr/lib/coq/user-contrib/Float/Zenum.vo application/octet-stream root:root 0o644 43.5 KB
/usr/lib/coq/user-contrib/Float/FSucc.vo application/octet-stream root:root 0o644 149.1 KB
/usr/lib/coq/user-contrib/Float/FroundDivSqrt.vo application/octet-stream root:root 0o644 299.3 KB
/usr/lib/coq/user-contrib/Float/FPred.vo application/octet-stream root:root 0o644 88.0 KB
/usr/lib/coq/user-contrib/Float/MinOrMax.vo application/octet-stream root:root 0o644 94.8 KB
/usr/lib/coq/user-contrib/Float/Fop.vo application/octet-stream root:root 0o644 50.8 KB
/usr/lib/coq/user-contrib/Float/FmaErr2.vo application/octet-stream root:root 0o644 669.6 KB
/usr/lib/coq/user-contrib/Float/FArgReduct3.vo application/octet-stream root:root 0o644 533.2 KB
/usr/lib/coq/user-contrib/Float/FnormI.vo application/octet-stream root:root 0o644 416.8 KB
/usr/lib/coq/user-contrib/Float/DoubleRound.vo application/octet-stream root:root 0o644 67.3 KB
/usr/lib/coq/user-contrib/Float/Fsucc.vo application/octet-stream root:root 0o644 582 bytes
/usr/lib/coq/user-contrib/Float/MSBProp.vo application/octet-stream root:root 0o644 24.9 KB
/usr/lib/coq/user-contrib/Float/Zdivides.vo application/octet-stream root:root 0o644 96.4 KB
/usr/lib/coq/user-contrib/Float/Fround.vo application/octet-stream root:root 0o644 62.3 KB
/usr/lib/coq/user-contrib/Float/FIA64elem.vo application/octet-stream root:root 0o644 164.5 KB
/usr/lib/coq/user-contrib/Float/FexpDiv.vo application/octet-stream root:root 0o644 85.9 KB
/usr/lib/coq/user-contrib/Float/Dekker.vo application/octet-stream root:root 0o644 2.9 MB
/usr/lib/coq/user-contrib/Float/FboundI.vo application/octet-stream root:root 0o644 208.6 KB