package info (click to toggle)
coq-float 1:8.10.0-1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, sid
  • size: 740 kB
  • sloc: makefile: 22

Folder: 1:8.10.0-1

show hidden (1)
d .. (parent)
d d rwxr-xr-x 104 .pc
d d rwxr-xr-x 4,096 debian
- - rw-r--r-- 7 .gitignore
- - rw-r--r-- 58 AllFloat.v
- - rw-r--r-- 23,163 Closest.v
- - rw-r--r-- 10,199 Closest2Plus.v
- - rw-r--r-- 2,549 Closest2Prop.v
- - rw-r--r-- 14,554 ClosestMult.v
- - rw-r--r-- 27,558 ClosestPlus.v
- - rw-r--r-- 28,073 ClosestProp.v
- - rw-r--r-- 12,135 Digit.v
- - rw-r--r-- 19,474 FPred.v
- - rw-r--r-- 40,062 FSucc.v
- - rw-r--r-- 35,531 Faux.v
- - rw-r--r-- 12,068 Fbound.v
- - rw-r--r-- 10,076 Fcomp.v
- - rw-r--r-- 9,426 Finduct.v
- - rw-r--r-- 11,348 Float.v
- - rw-r--r-- 22,984 Fmin.v
- - rw-r--r-- 36,152 Fnorm.v
- - rw-r--r-- 14,086 Fodd.v
- - rw-r--r-- 7,087 Fop.v
- - rw-r--r-- 5,407 Fprop.v
- - rw-r--r-- 14,029 Fround.v
- - rw-r--r-- 33,224 FroundMult.v
- - rw-r--r-- 25,145 FroundPlus.v
- - rw-r--r-- 53,958 FroundProp.v
- - rw-r--r-- 26,432 LICENSE
- - rw-r--r-- 19,545 MSB.v
- - rw-r--r-- 3,264 MSBProp.v
- - rw-r--r-- 331 Make
- - rw-r--r-- 253 Makefile
- - rw-r--r-- 115 Option.v
- - rw-r--r-- 37,780 Paux.v
- - rw-r--r-- 13,658 Power.v
- - rw-r--r-- 2,226 README
- - rw-r--r-- 12,778 Rpow.v
- - rw-r--r-- 18,006 Zdivides.v
- - rw-r--r-- 5,637 Zenum.v
- - rw-r--r-- 314 description
- - rw-r--r-- 1,508 sTactic.v