libcoq-flocq (4.2.1-1build5)

Details

Core information at a glance

Distribution: ubuntu
Origin: ubuntu-stonking
Repository: https://nl.archive.ubuntu.com/ubuntu
Codename: stonking
Component: universe
Source: flocq
Architecture: amd64
Section: universe/ocaml
Priority: optional
Maintainer: Ubuntu Developers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size: 9.2 kB
Size expected: 3.9 MB
Size actual: 3.9 MB
Size match

Dependencies

Required package dependencies

libcoq-stdlib-83lq0

Suggested packages

Recommended additional packages

None

Description

Floating-point arithmetic for Coq

Homepage Download .deb

Checksums

Hash values and integrity verification status

Type	Expected	Actual
MD5	4b5e6084…c65d7f99	4b5e6084…c65d7f99
SHA-1	2a6f07cf…9a0dad54	2a6f07cf…9a0dad54
SHA-256	45bea2a4…f3f10046	45bea2a4…f3f10046
SHA-512	8dc3d6ec…18ff0d08	8dc3d6ec…18ff0d08

Files and directories included

.
usr
usr/lib
usr/lib/x86_64-linux-gnu
usr/lib/x86_64-linux-gnu/ocaml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Calc
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Calc/Bracket.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Calc/Bracket.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Calc/Div.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Calc/Div.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Calc/Operations.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Calc/Operations.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Calc/Plus.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Calc/Plus.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Calc/Round.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Calc/Round.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Calc/Sqrt.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Calc/Sqrt.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Core
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Core/Core.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Core/Core.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Core/Defs.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Core/Defs.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Core/Digits.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Core/Digits.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Core/FIX.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Core/FIX.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Core/FLT.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Core/FLT.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Core/FLX.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Core/FLX.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Core/FTZ.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Core/FTZ.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Core/Float_prop.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Core/Float_prop.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Core/Generic_fmt.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Core/Generic_fmt.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Core/Raux.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Core/Raux.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Core/Round_NE.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Core/Round_NE.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Core/Round_pred.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Core/Round_pred.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Core/Ulp.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Core/Ulp.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Core/Zaux.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Core/Zaux.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/IEEE754
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/IEEE754/Binary.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/IEEE754/Binary.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/IEEE754/BinarySingleNaN.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/IEEE754/BinarySingleNaN.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/IEEE754/Bits.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/IEEE754/Bits.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/IEEE754/PrimFloat.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/IEEE754/PrimFloat.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Pff
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Pff/Pff.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Pff/Pff.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Pff/Pff2Flocq.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Pff/Pff2Flocq.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Pff/Pff2FlocqAux.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Pff/Pff2FlocqAux.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Prop
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Prop/Div_sqrt_error.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Prop/Div_sqrt_error.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Prop/Double_rounding.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Prop/Double_rounding.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Prop/Mult_error.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Prop/Mult_error.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Prop/Plus_error.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Prop/Plus_error.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Prop/Relative.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Prop/Relative.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Prop/Round_odd.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Prop/Round_odd.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Prop/Sterbenz.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Prop/Sterbenz.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Version.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Flocq/Version.vo
usr/share
usr/share/doc
usr/share/doc/libcoq-flocq
usr/share/doc/libcoq-flocq/changelog.Debian.gz
usr/share/doc/libcoq-flocq/copyright
usr/share/doc/libcoq-flocq/examples
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
var/lib
var/lib/coq
var/lib/coq/md5sums
var/lib/coq/md5sums/libcoq-flocq.checksum