Package - libcoq-flocq

Package:  libcoq-flocq
apt-get install libcoq-flocq
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/f/flocq/libcoq-flocq_4.2.1-1+b2_amd64.deb (Size: 3.3MiB)

PropertyValue
Packagelibcoq-flocq
Sourceflocq (4.2.1-1)
Version4.2.1-1+b2
Installed-Size9190
MaintainerDebian OCaml Maintainers
Architectureamd64
Provideslibcoq-flocq-61k63
Dependslibcoq-stdlib-68yx1
DescriptionFloating-point arithmetic for Coq
Description-md540dc9bd26759c7b4d14a10e25957fe12
Homepagehttps://flocq.gitlabpages.inria.fr/
Sectionocaml
Priorityoptional
Filenamepool/main/f/flocq/libcoq-flocq_4.2.1-1+b2_amd64.deb
Size3430620
MD5sumd8b2a5fc1789d1e1f9ba4054462950c6
SHA256501fd0a1db7c695e2ddf37b877dd80f6221a28722bf5bce9a1e128456fd12bad

Files in package

  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Calc/Bracket.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Calc/Bracket.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Calc/Div.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Calc/Div.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Calc/Operations.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Calc/Operations.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Calc/Plus.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Calc/Plus.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Calc/Round.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Calc/Round.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Calc/Sqrt.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Calc/Sqrt.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Core/Core.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Core/Core.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Core/Defs.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Core/Defs.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Core/Digits.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Core/Digits.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Core/FIX.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Core/FIX.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Core/FLT.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Core/FLT.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Core/FLX.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Core/FLX.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Core/FTZ.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Core/FTZ.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Core/Float_prop.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Core/Float_prop.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Core/Generic_fmt.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Core/Generic_fmt.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Core/Raux.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Core/Raux.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Core/Round_NE.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Core/Round_NE.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Core/Round_pred.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Core/Round_pred.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Core/Ulp.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Core/Ulp.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Core/Zaux.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Core/Zaux.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/IEEE754/Binary.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/IEEE754/Binary.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/IEEE754/BinarySingleNaN.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/IEEE754/BinarySingleNaN.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/IEEE754/Bits.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/IEEE754/Bits.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/IEEE754/PrimFloat.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/IEEE754/PrimFloat.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Pff/Pff.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Pff/Pff.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Pff/Pff2Flocq.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Pff/Pff2Flocq.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Pff/Pff2FlocqAux.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Pff/Pff2FlocqAux.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Prop/Div_sqrt_error.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Prop/Div_sqrt_error.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Prop/Double_rounding.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Prop/Double_rounding.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Prop/Mult_error.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Prop/Mult_error.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Prop/Plus_error.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Prop/Plus_error.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Prop/Relative.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Prop/Relative.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Prop/Round_odd.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Prop/Round_odd.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Prop/Sterbenz.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Prop/Sterbenz.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Version.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Flocq/Version.vo
  • /usr/share/doc/libcoq-flocq/changelog.Debian.amd64.gz
  • /usr/share/doc/libcoq-flocq/changelog.Debian.gz
  • /usr/share/doc/libcoq-flocq/copyright
  • /usr/share/doc/libcoq-flocq/examples/Average.v
  • /usr/share/doc/libcoq-flocq/examples/Cody_Waite.v
  • /usr/share/doc/libcoq-flocq/examples/Compute.v
  • /usr/share/doc/libcoq-flocq/examples/Division_u16.v
  • /usr/share/doc/libcoq-flocq/examples/Double_rounding_odd_radix.v
  • /usr/share/doc/libcoq-flocq/examples/Homogen.v
  • /usr/share/doc/libcoq-flocq/examples/Print17.v
  • /usr/share/doc/libcoq-flocq/examples/Sqrt_sqr.v
  • /usr/share/doc/libcoq-flocq/examples/Triangle.v
  • /var/lib/coq/md5sums/libcoq-flocq.checksum