package info (click to toggle)
coq-float 1:8.2-1.2-5
  • links: PTS, VCS
  • area: main
  • in suites: squeeze
  • size: 2,468 kB
  • ctags: 32
  • sloc: makefile: 173

Folder: 1:8.2-1.2-5

show hidden (1)
d .. (parent)
d d rwxr-xr-x 84 .pc
d d rwxr-xr-x 49 Ct2
d d rwxr-xr-x 4,096 Expansions
d d rwxr-xr-x 4,096 FnElem
d d rwxr-xr-x 4,096 Others
d d rwxr-xr-x 4,096 debian
- - rw-r--r-- 50 AllFloat.v
- - rw-r--r-- 23,133 Closest.v
- - rw-r--r-- 10,210 Closest2Plus.v
- - rw-r--r-- 2,521 Closest2Prop.v
- - rw-r--r-- 14,531 ClosestMult.v
- - rw-r--r-- 27,549 ClosestPlus.v
- - rw-r--r-- 28,137 ClosestProp.v
- - rw-r--r-- 13,236 Digit.v
- - rw-r--r-- 19,594 FPred.v
- - rw-r--r-- 40,006 FSucc.v
- - rw-r--r-- 35,434 Faux.v
- - rw-r--r-- 12,013 Fbound.v
- - rw-r--r-- 10,034 Fcomp.v
- - rw-r--r-- 9,384 Finduct.v
- - rw-r--r-- 11,379 Float.v
- - rw-r--r-- 22,967 Fmin.v
- - rw-r--r-- 36,132 Fnorm.v
- - rw-r--r-- 14,109 Fodd.v
- - rw-r--r-- 7,103 Fop.v
- - rw-r--r-- 5,364 Fprop.v
- - rw-r--r-- 13,997 Fround.v
- - rw-r--r-- 33,166 FroundMult.v
- - rw-r--r-- 25,114 FroundPlus.v
- - rw-r--r-- 53,872 FroundProp.v
- - rw-r--r-- 19,415 MSB.v
- - rw-r--r-- 3,263 MSBProp.v
- - rw-r--r-- 5,934 Makefile
- - rw-r--r-- 115 Option.v
- - rw-r--r-- 37,423 Paux.v
- - rw-r--r-- 35,192 RND.v
- - rw-r--r-- 12,726 Rpow.v
- - rw-r--r-- 18,012 Zdivides.v
- - rw-r--r-- 5,634 Zenum.v
- - rw-r--r-- 1,452 sTactic.v