libcoq-interval (4.11.1-1build16)

Details

Core information at a glance

Distribution: ubuntu
Origin: ubuntu-stonking
Repository: https://ports.ubuntu.com
Codename: stonking
Component: universe
Source: coq-interval
Architecture: arm64
Section: universe/ocaml
Priority: optional
Maintainer: Ubuntu Developers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size: 16.9 kB
Size expected: 7.6 MB
Size actual: 7.6 MB
Size match

Dependencies

Required package dependencies

libcoq-bignums-h54d6
libcoq-coquelicot-rkvb9
libcoq-flocq-0b5t5
libcoq-mathcomp-ssreflect-uwio2
libcoq-stdlib-ey0q7

Suggested packages

Recommended additional packages

None

Description

interval arithmetic for Coq

Homepage Download .deb

Checksums

Hash values and integrity verification status

Type	Expected	Actual
MD5	7adadc6e…a8bf6f20	7adadc6e…a8bf6f20
SHA-1	dc42f5e0…1bcb7b2b	dc42f5e0…1bcb7b2b
SHA-256	f59b9d00…52f2c6e1	f59b9d00…52f2c6e1
SHA-512	0962cb8b…9abdf098	0962cb8b…9abdf098

Files and directories included

.
usr
usr/lib
usr/lib/aarch64-linux-gnu
usr/lib/aarch64-linux-gnu/ocaml
usr/lib/aarch64-linux-gnu/ocaml/5.4.0
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Eval
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Eval/Eval.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Eval/Prog.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Eval/Reify.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Eval/Tree.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Float
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Float/Basic.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Float/Generic.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Float/Generic_ops.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Float/Generic_proof.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Float/Primitive_ops.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Float/Sig.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Float/Specific_bigint.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Float/Specific_ops.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Float/Specific_sig.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Float/Specific_stdz.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Integral
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Integral/Bertrand.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Integral/Integral.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Integral/Priority.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Integral/Refine.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Interval
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Interval/Float.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Interval/Float_full.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Interval/Float_full_primfloat.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Interval/Interval.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Interval/Interval_compl.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Interval/Transcend.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Interval/Univariate_sig.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Language
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Language/Lang_expr.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Language/Lang_simpl.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Language/Lang_tac.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Missing
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Missing/Coquelicot.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Missing/Flocq.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Missing/Int63Compat.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Missing/Int63Copy.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Missing/MathComp.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Missing/MathComp1or2.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Missing/MathComp2.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Missing/Stdlib.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Plot.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Poly
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Poly/Basic_rec.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Poly/Bound.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Poly/Bound_quad.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Poly/Datatypes.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Poly/Taylor_model.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Poly/Taylor_model_sharp.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Poly/Taylor_poly.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Real
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Real/Taylor.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Real/Xreal.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Real/Xreal_derive.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Tactic.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Tactic_float.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Tactics
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Tactics/Integral_helper.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Tactics/Interval_helper.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Tactics/Plot_helper.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Interval/Tactics/Root_helper.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-interval
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-interval/META
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-interval/interval_plot.cmo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-interval/interval_plot.cmxs
usr/share
usr/share/doc
usr/share/doc/libcoq-interval
usr/share/doc/libcoq-interval/changelog.Debian.gz
usr/share/doc/libcoq-interval/copyright
usr/share/doc/libcoq-interval/examples
usr/share/doc/libcoq-interval/examples/example-20071016.v
usr/share/doc/libcoq-interval/examples/example-20120205.v
usr/share/doc/libcoq-interval/examples/example-20140221.v
usr/share/doc/libcoq-interval/examples/example-20140610.v
usr/share/doc/libcoq-interval/examples/example-20150105.v
usr/share/doc/libcoq-interval/examples/example-20160218.v
usr/share/doc/libcoq-interval/examples/example-20171018.v
usr/share/doc/libcoq-interval/examples/example-20200428.v
usr/share/doc/libcoq-interval/examples/example-20200430.v
usr/share/doc/libcoq-interval/examples/example-20210218.v
usr/share/doc/libcoq-interval/examples/example-20220302.v
usr/share/doc/libcoq-interval/examples/example-20220304.v
usr/share/doc/libcoq-interval/examples/example-20221027.v
usr/share/doc/libcoq-interval/examples/example-20221103.v
usr/share/doc/libcoq-interval/examples/example-20231013.v
var
var/lib
var/lib/coq
var/lib/coq/md5sums
var/lib/coq/md5sums/libcoq-interval.checksum