drwxr-xr-x | 0 | root |
root |
/usr/lib64/coq/user-contrib/Flocq
|
drwxr-xr-x | 0 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Calc
|
drwxr-xr-x | 0 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Core
|
drwxr-xr-x | 0 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/IEEE754
|
drwxr-xr-x | 0 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Pff
|
drwxr-xr-x | 0 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Prop
|
-rw-r--r-- | 1119 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Version.v
|
-rw-r--r-- | 22460 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Version.vo
|
-rw-r--r-- | 17651 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Calc/Bracket.v
|
-rw-r--r-- | 113561 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Calc/Bracket.vo
|
-rw-r--r-- | 5225 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Calc/Div.v
|
-rw-r--r-- | 70373 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Calc/Div.vo
|
-rw-r--r-- | 3878 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Calc/Operations.v
|
-rw-r--r-- | 55127 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Calc/Operations.vo
|
-rw-r--r-- | 31853 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Calc/Round.v
|
-rw-r--r-- | 150580 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Calc/Round.vo
|
-rw-r--r-- | 5402 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Calc/Sqrt.v
|
-rw-r--r-- | 69972 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Calc/Sqrt.vo
|
-rw-r--r-- | 806 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Core/Core.v
|
-rw-r--r-- | 39464 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Core/Core.vo
|
-rw-r--r-- | 2411 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Core/Defs.v
|
-rw-r--r-- | 45469 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Core/Defs.vo
|
-rw-r--r-- | 27620 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Core/Digits.v
|
-rw-r--r-- | 152715 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Core/Digits.vo
|
-rw-r--r-- | 2170 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Core/FIX.v
|
-rw-r--r-- | 46743 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Core/FIX.vo
|
-rw-r--r-- | 11201 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Core/FLT.v
|
-rw-r--r-- | 133861 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Core/FLT.vo
|
-rw-r--r-- | 9636 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Core/FLX.v
|
-rw-r--r-- | 80764 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Core/FLX.vo
|
-rw-r--r-- | 8653 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Core/FTZ.v
|
-rw-r--r-- | 82611 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Core/FTZ.vo
|
-rw-r--r-- | 11875 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Core/Float_prop.v
|
-rw-r--r-- | 73115 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Core/Float_prop.vo
|
-rw-r--r-- | 52349 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Core/Generic_fmt.v
|
-rw-r--r-- | 196293 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Core/Generic_fmt.vo
|
-rw-r--r-- | 49694 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Core/Raux.v
|
-rw-r--r-- | 185550 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Core/Raux.vo
|
-rw-r--r-- | 14361 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Core/Round_NE.v
|
-rw-r--r-- | 97328 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Core/Round_NE.vo
|
-rw-r--r-- | 29640 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Core/Round_pred.v
|
-rw-r--r-- | 114599 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Core/Round_pred.vo
|
-rw-r--r-- | 66060 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Core/Ulp.v
|
-rw-r--r-- | 236521 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Core/Ulp.vo
|
-rw-r--r-- | 20142 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Core/Zaux.v
|
-rw-r--r-- | 106154 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Core/Zaux.vo
|
-rw-r--r-- | 95017 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/IEEE754/Binary.v
|
-rw-r--r-- | 561656 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/IEEE754/Binary.vo
|
-rw-r--r-- | 21927 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/IEEE754/Bits.v
|
-rw-r--r-- | 170260 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/IEEE754/Bits.vo
|
-rw-r--r-- | 1148020 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Pff/Pff.v
|
-rw-r--r-- | 3298881 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Pff/Pff.vo
|
-rw-r--r-- | 87736 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Pff/Pff2Flocq.v
|
-rw-r--r-- | 235731 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Pff/Pff2Flocq.vo
|
-rw-r--r-- | 24850 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Pff/Pff2FlocqAux.v
|
-rw-r--r-- | 116425 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Pff/Pff2FlocqAux.vo
|
-rw-r--r-- | 30615 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Prop/Div_sqrt_error.v
|
-rw-r--r-- | 158514 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Prop/Div_sqrt_error.vo
|
-rw-r--r-- | 158166 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Prop/Double_rounding.v
|
-rw-r--r-- | 1410272 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Prop/Double_rounding.vo
|
-rw-r--r-- | 9897 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Prop/Mult_error.v
|
-rw-r--r-- | 87057 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Prop/Mult_error.vo
|
-rw-r--r-- | 17160 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Prop/Plus_error.v
|
-rw-r--r-- | 94731 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Prop/Plus_error.vo
|
-rw-r--r-- | 29577 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Prop/Relative.v
|
-rw-r--r-- | 125331 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Prop/Relative.vo
|
-rw-r--r-- | 32882 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Prop/Round_odd.v
|
-rw-r--r-- | 145762 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Prop/Round_odd.vo
|
-rw-r--r-- | 4487 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Prop/Sterbenz.v
|
-rw-r--r-- | 52681 | root |
root |
/usr/lib64/coq/user-contrib/Flocq/Prop/Sterbenz.vo
|
drwxr-xr-x | 0 | root |
root |
/usr/share/doc/coq-flocq
|
-rw-r--r-- | 88 | root |
root |
/usr/share/doc/coq-flocq/AUTHORS
|
-rw-r--r-- | 7651 | root |
root |
/usr/share/doc/coq-flocq/COPYING
|
-rw-r--r-- | 12030 | root |
root |
/usr/share/doc/coq-flocq/NEWS.md
|
-rw-r--r-- | 716 | root |
root |
/usr/share/doc/coq-flocq/README.md
|
drwxr-xr-x | 0 | root |
root |
/usr/share/doc/coq-flocq/html
|
-rw-r--r-- | 133641 | root |
root |
/usr/share/doc/coq-flocq/html/Flocq.Calc.Bracket.html
|
-rw-r--r-- | 33503 | root |
root |
/usr/share/doc/coq-flocq/html/Flocq.Calc.Div.html
|
-rw-r--r-- | 34104 | root |
root |
/usr/share/doc/coq-flocq/html/Flocq.Calc.Operations.html
|
-rw-r--r-- | 239226 | root |
root |
/usr/share/doc/coq-flocq/html/Flocq.Calc.Round.html
|
-rw-r--r-- | 24647 | root |
root |
/usr/share/doc/coq-flocq/html/Flocq.Calc.Sqrt.html
|
-rw-r--r-- | 2765 | root |
root |
/usr/share/doc/coq-flocq/html/Flocq.Core.Core.html
|
-rw-r--r-- | 31627 | root |
root |
/usr/share/doc/coq-flocq/html/Flocq.Core.Defs.html
|
-rw-r--r-- | 146924 | root |
root |
/usr/share/doc/coq-flocq/html/Flocq.Core.Digits.html
|
-rw-r--r-- | 10582 | root |
root |
/usr/share/doc/coq-flocq/html/Flocq.Core.FIX.html
|
-rw-r--r-- | 57806 | root |
root |
/usr/share/doc/coq-flocq/html/Flocq.Core.FLT.html
|
-rw-r--r-- | 41240 | root |
root |
/usr/share/doc/coq-flocq/html/Flocq.Core.FLX.html
|
-rw-r--r-- | 26911 | root |
root |
/usr/share/doc/coq-flocq/html/Flocq.Core.FTZ.html
|
-rw-r--r-- | 88051 | root |
root |
/usr/share/doc/coq-flocq/html/Flocq.Core.Float_prop.html
|
-rw-r--r-- | 273916 | root |
root |
/usr/share/doc/coq-flocq/html/Flocq.Core.Generic_fmt.html
|
-rw-r--r-- | 305619 | root |
root |
/usr/share/doc/coq-flocq/html/Flocq.Core.Raux.html
|
-rw-r--r-- | 34198 | root |
root |
/usr/share/doc/coq-flocq/html/Flocq.Core.Round_NE.html
|
-rw-r--r-- | 196837 | root |
root |
/usr/share/doc/coq-flocq/html/Flocq.Core.Round_pred.html
|
-rw-r--r-- | 243192 | root |
root |
/usr/share/doc/coq-flocq/html/Flocq.Core.Ulp.html
|
-rw-r--r-- | 156516 | root |
root |
/usr/share/doc/coq-flocq/html/Flocq.Core.Zaux.html
|
-rw-r--r-- | 483389 | root |
root |
/usr/share/doc/coq-flocq/html/Flocq.IEEE754.Binary.html
|
-rw-r--r-- | 130909 | root |
root |
/usr/share/doc/coq-flocq/html/Flocq.IEEE754.Bits.html
|
-rw-r--r-- | 3494501 | root |
root |
/usr/share/doc/coq-flocq/html/Flocq.Pff.Pff.html
|
-rw-r--r-- | 260400 | root |
root |
/usr/share/doc/coq-flocq/html/Flocq.Pff.Pff2Flocq.html
|
-rw-r--r-- | 89356 | root |
root |
/usr/share/doc/coq-flocq/html/Flocq.Pff.Pff2FlocqAux.html
|
-rw-r--r-- | 92650 | root |
root |
/usr/share/doc/coq-flocq/html/Flocq.Prop.Div_sqrt_error.html
|
-rw-r--r-- | 724894 | root |
root |
/usr/share/doc/coq-flocq/html/Flocq.Prop.Double_rounding.html
|
-rw-r--r-- | 41554 | root |
root |
/usr/share/doc/coq-flocq/html/Flocq.Prop.Mult_error.html
|
-rw-r--r-- | 106610 | root |
root |
/usr/share/doc/coq-flocq/html/Flocq.Prop.Plus_error.html
|
-rw-r--r-- | 219632 | root |
root |
/usr/share/doc/coq-flocq/html/Flocq.Prop.Relative.html
|
-rw-r--r-- | 114350 | root |
root |
/usr/share/doc/coq-flocq/html/Flocq.Prop.Round_odd.html
|
-rw-r--r-- | 16993 | root |
root |
/usr/share/doc/coq-flocq/html/Flocq.Prop.Sterbenz.html
|
-rw-r--r-- | 6978 | root |
root |
/usr/share/doc/coq-flocq/html/Flocq.Version.html
|
-rw-r--r-- | 6005 | root |
root |
/usr/share/doc/coq-flocq/html/coqdoc.css
|
-rw-r--r-- | 1304950 | root |
root |
/usr/share/doc/coq-flocq/html/index.html
|
-rw-r--r-- | 6312 | root |
root |
/usr/share/doc/coq-flocq/html/toc.html
|