data/coq-float-8.10.0/.gitignore:               ASCII text
data/coq-float-8.10.0/AllFloat.v:               ASCII text
data/coq-float-8.10.0/Closest.v:                Mathematica 3.0 notebook
data/coq-float-8.10.0/Closest2Plus.v:           Mathematica 3.0 notebook
data/coq-float-8.10.0/Closest2Prop.v:           Mathematica 3.0 notebook
data/coq-float-8.10.0/ClosestMult.v:            Mathematica 3.0 notebook
data/coq-float-8.10.0/ClosestPlus.v:            Mathematica 3.0 notebook
data/coq-float-8.10.0/ClosestProp.v:            Mathematica 3.0 notebook
data/coq-float-8.10.0/Digit.v:                  Mathematica 3.0 notebook
data/coq-float-8.10.0/FPred.v:                  Mathematica 3.0 notebook
data/coq-float-8.10.0/FSucc.v:                  Mathematica 3.0 notebook
data/coq-float-8.10.0/Faux.v:                   Mathematica 3.0 notebook
data/coq-float-8.10.0/Fbound.v:                 Mathematica 3.0 notebook
data/coq-float-8.10.0/Fcomp.v:                  Mathematica 3.0 notebook
data/coq-float-8.10.0/Finduct.v:                Mathematica 3.0 notebook
data/coq-float-8.10.0/Float.v:                  Mathematica 3.0 notebook
data/coq-float-8.10.0/Fmin.v:                   Mathematica 3.0 notebook
data/coq-float-8.10.0/Fnorm.v:                  Mathematica 3.0 notebook
data/coq-float-8.10.0/Fodd.v:                   Mathematica 3.0 notebook
data/coq-float-8.10.0/Fop.v:                    Mathematica 3.0 notebook
data/coq-float-8.10.0/Fprop.v:                  Mathematica 3.0 notebook
data/coq-float-8.10.0/Fround.v:                 Mathematica 3.0 notebook
data/coq-float-8.10.0/FroundMult.v:             Mathematica 3.0 notebook
data/coq-float-8.10.0/FroundPlus.v:             Mathematica 3.0 notebook
data/coq-float-8.10.0/FroundProp.v:             Mathematica 3.0 notebook
data/coq-float-8.10.0/LICENSE:                  ASCII text
data/coq-float-8.10.0/MSB.v:                    Mathematica 3.0 notebook
data/coq-float-8.10.0/MSBProp.v:                Mathematica 3.0 notebook
data/coq-float-8.10.0/Make:                     ASCII text
data/coq-float-8.10.0/Makefile:                 makefile script, ASCII text
data/coq-float-8.10.0/Option.v:                 ASCII text
data/coq-float-8.10.0/Paux.v:                   Mathematica 3.0 notebook
data/coq-float-8.10.0/Power.v:                  ASCII text
data/coq-float-8.10.0/README:                   ASCII text
data/coq-float-8.10.0/Rpow.v:                   Mathematica 3.0 notebook
data/coq-float-8.10.0/Zdivides.v:               Mathematica 3.0 notebook
data/coq-float-8.10.0/Zenum.v:                  Mathematica 3.0 notebook
data/coq-float-8.10.0/description:              UTF-8 Unicode text
data/coq-float-8.10.0/sTactic.v:                ASCII text
data/coq-float-8.10.0/debian/changelog:         UTF-8 Unicode text
data/coq-float-8.10.0/debian/control:           UTF-8 Unicode text
data/coq-float-8.10.0/debian/copyright:         UTF-8 Unicode text
data/coq-float-8.10.0/debian/gbp.conf:          ASCII text
data/coq-float-8.10.0/debian/libfloat-coq.docs: ASCII text
data/coq-float-8.10.0/debian/rules:             a /usr/bin/make -f script, ASCII text executable
data/coq-float-8.10.0/debian/source/format:     ASCII text
data/coq-float-8.10.0/debian/upstream/metadata: UTF-8 Unicode text
data/coq-float-8.10.0/debian/watch:             ASCII text
data/coq-float-8.10.0/.pc/.version:             ASCII text
data/coq-float-8.10.0/.pc/.quilt_patches:       ASCII text
data/coq-float-8.10.0/.pc/.quilt_series:        ASCII text
data/coq-float-8.10.0/.pc/applied-patches:      empty