This file is indexed.

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