/usr/lib/coq/user-contrib/ 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/
|
root:root | 0o755 | ||
/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 |