This package is 10.9 MB.
It is available at http://ftp.debian.org/debian/pool/main/c/coq-float/libfloat-coq_8.4-4_all.deb
.
View its full control file here:
debian/control.
Coq library on floating-point arithmetic
This package depends on:
coq-8.4pl4+4.01.0.
This package does not recommend any other package.
This package does not suggest any other package.
This package does not conflict with any other package.
libfloat-coq 1:8.4-4 is in debian - jessie / main. This package's architecture is: architectureless.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
/usr/
|
root:root | 0o755 | ||
/usr/lib/
|
root:root | 0o755 | ||
/usr/lib/coq/
|
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/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/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/Closest.vo
|
application/octet-stream | root:root | 0o644 | 62.8 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/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/discriminant.vo
|
application/octet-stream | root:root | 0o644 | 499.7 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/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/FArgReduct.vo
|
application/octet-stream | root:root | 0o644 | 255.8 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/FboundI.vo
|
application/octet-stream | root:root | 0o644 | 208.6 KB |
/usr/lib/coq/user-contrib/Float/Fbound.vo
|
application/octet-stream | root:root | 0o644 | 58.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/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/Fexp.vo
|
application/octet-stream | root:root | 0o644 | 88.5 KB |
/usr/lib/coq/user-contrib/Float/FIA64elem.vo
|
application/octet-stream | root:root | 0o644 | 164.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/FmaErr2.vo
|
application/octet-stream | root:root | 0o644 | 669.6 KB |
/usr/lib/coq/user-contrib/Float/FmaErrApprox2.vo
|
application/octet-stream | root:root | 0o644 | 744.4 KB |
/usr/lib/coq/user-contrib/Float/FmaErrApprox.vo
|
application/octet-stream | root:root | 0o644 | 1.8 MB |
/usr/lib/coq/user-contrib/Float/FmaErr.vo
|
application/octet-stream | root:root | 0o644 | 991.1 KB |
/usr/lib/coq/user-contrib/Float/FminOp.vo
|
application/octet-stream | root:root | 0o644 | 317.1 KB |
/usr/lib/coq/user-contrib/Float/Fmin.vo
|
application/octet-stream | root:root | 0o644 | 85.7 KB |
/usr/lib/coq/user-contrib/Float/FnormI.vo
|
application/octet-stream | root:root | 0o644 | 416.8 KB |
/usr/lib/coq/user-contrib/Float/Fnorm.vo
|
application/octet-stream | root:root | 0o644 | 204.1 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/FPred.vo
|
application/octet-stream | root:root | 0o644 | 88.0 KB |
/usr/lib/coq/user-contrib/Float/Fprop.vo
|
application/octet-stream | root:root | 0o644 | 27.7 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/Fround.vo
|
application/octet-stream | root:root | 0o644 | 62.3 KB |
/usr/lib/coq/user-contrib/Float/Fsucc.vo
|
application/octet-stream | root:root | 0o644 | 582 bytes |
/usr/lib/coq/user-contrib/Float/FSucc.vo
|
application/octet-stream | root:root | 0o644 | 149.1 KB |
/usr/lib/coq/user-contrib/Float/MinOrMax.vo
|
application/octet-stream | root:root | 0o644 | 94.8 KB |
/usr/lib/coq/user-contrib/Float/MSBProp.vo
|
application/octet-stream | root:root | 0o644 | 24.9 KB |
/usr/lib/coq/user-contrib/Float/MSB.vo
|
application/octet-stream | root:root | 0o644 | 88.0 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/sTactic.vo
|
application/octet-stream | root:root | 0o644 | 2.8 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/share/
|
root:root | 0o755 | ||
/usr/share/doc/
|
root:root | 0o755 | ||
/usr/share/doc/libfloat-coq/
|
root:root | 0o755 | ||
/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/share/doc/libfloat-coq/html/
|
root:root | 0o755 | ||
/usr/share/doc/libfloat-coq/html/coqdoc.css
|
text/plain | root:root | 0o644 | 5.1 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.Closest2Plus.html
|
text/html | root:root | 0o644 | 114.2 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.Closest.html
|
text/html | root:root | 0o644 | 254.3 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.ClosestPlus.html
|
text/html | root:root | 0o644 | 353.3 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.FboundI.html
|
text/html | root:root | 0o644 | 277.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.Digit.html
|
text/html | root:root | 0o644 | 133.5 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.Fast2Diff.html
|
text/html | root:root | 0o644 | 52.4 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.Expansions.Fexp2.html
|
text/html | root:root | 0o644 | 152.9 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.Expansions.FexpDiv.html
|
text/html | root:root | 0o644 | 357.7 KB |
/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.FexpPlus.html
|
text/html | root:root | 0o644 | 277.6 KB |
/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.ThreeSumProps.html
|
text/html | root:root | 0o644 | 406.0 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.Faux.html
|
text/html | root:root | 0o644 | 403.8 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.Fcomp.html
|
text/html | root:root | 0o644 | 104.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.Float.html
|
text/html | root:root | 0o644 | 128.1 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.Axpy.html
|
text/html | root:root | 0o644 | 1.4 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.FArgReduct2.html
|
text/html | root:root | 0o644 | 1.1 MB |
/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.FnElem.FArgReduct4.html
|
text/html | root:root | 0o644 | 993.4 KB |
/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.FnElem.FIA64elem.html
|
text/html | root:root | 0o644 | 165.6 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.FnElem.FmaErrApprox2.html
|
text/html | root:root | 0o644 | 1.0 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.FnElem.FmaErr.html
|
text/html | root:root | 0o644 | 1.0 MB |
/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.Fnorm.html
|
text/html | root:root | 0o644 | 381.5 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.Fop.html
|
text/html | root:root | 0o644 | 71.5 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.Fprop.html
|
text/html | root:root | 0o644 | 51.8 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.FroundMult.html
|
text/html | root:root | 0o644 | 385.0 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.FroundProp.html
|
text/html | root:root | 0o644 | 583.9 KB |
/usr/share/doc/libfloat-coq/html/Float.Fsucc.html
|
text/html | root:root | 0o644 | 637 bytes |
/usr/share/doc/libfloat-coq/html/Float.FSucc.html
|
text/html | root:root | 0o644 | 390.8 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.MSBProp.html
|
text/html | root:root | 0o644 | 31.6 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.Others.AlgoPredSucc.html
|
text/html | root:root | 0o644 | 1.6 MB |
/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.Others.Dekker.html
|
text/html | root:root | 0o644 | 1.6 MB |
/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.Others.discriminant3.html
|
text/html | root:root | 0o644 | 1.4 MB |
/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.Others.Divnk.html
|
text/html | root:root | 0o644 | 307.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/html/Float.Others.FminOp.html
|
text/html | root:root | 0o644 | 533.4 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.Others.PradixE.html
|
text/html | root:root | 0o644 | 401.6 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.Paux.html
|
text/html | root:root | 0o644 | 430.7 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.Rpow.html
|
text/html | root:root | 0o644 | 113.0 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.Zdivides.html
|
text/html | root:root | 0o644 | 192.1 KB |
/usr/share/doc/libfloat-coq/html/Float.Zenum.html
|
text/html | root:root | 0o644 | 57.8 KB |
/usr/share/doc/libfloat-coq/html/index.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 |