libcoq-mathcomp-real-closed (2.0.2-1build16)

Details

Core information at a glance

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

Size & integrity

Byte sizes and integrity verification

Installed size: 10.3 kB
Size expected: 3 MB
Size actual: 3 MB
Size match

Dependencies

Required package dependencies

libcoq-mathcomp-algebra-zd4f4
libcoq-mathcomp-bigenough-myyq8
libcoq-mathcomp-field-r5g44
libcoq-mathcomp-ssreflect-uwio2

Suggested packages

Recommended additional packages

ocaml-findlib

Description

Real closed fields for Mathematical Components

Homepage Download .deb

Checksums

Hash values and integrity verification status

Type	Expected	Actual
MD5	f0d72156…68c73503	f0d72156…68c73503
SHA-1	26076baa…735a2ac9	26076baa…735a2ac9
SHA-256	e1320319…ecc9b8e2	e1320319…ecc9b8e2
SHA-512	a28f6be8…8c2ab1ea	a28f6be8…8c2ab1ea

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/mathcomp
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/real_closed
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/real_closed/all_real_closed.glob
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/real_closed/all_real_closed.v
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/real_closed/all_real_closed.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/real_closed/cauchyreals.glob
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/real_closed/cauchyreals.v
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/real_closed/cauchyreals.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/real_closed/complex.glob
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/real_closed/complex.v
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/real_closed/complex.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/real_closed/mxtens.glob
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/real_closed/mxtens.v
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/real_closed/mxtens.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/real_closed/ordered_qelim.glob
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/real_closed/ordered_qelim.v
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/real_closed/ordered_qelim.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/real_closed/polyorder.glob
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/real_closed/polyorder.v
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/real_closed/polyorder.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/real_closed/polyrcf.glob
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/real_closed/polyrcf.v
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/real_closed/polyrcf.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/real_closed/qe_rcf.glob
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/real_closed/qe_rcf.v
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/real_closed/qe_rcf.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/real_closed/qe_rcf_th.glob
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/real_closed/qe_rcf_th.v
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/real_closed/qe_rcf_th.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/real_closed/realalg.glob
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/real_closed/realalg.v
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/real_closed/realalg.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-mathcomp-real-closed
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-mathcomp-real-closed/META
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-mathcomp-real-closed/dune-package
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-mathcomp-real-closed/opam
usr/share
usr/share/doc
usr/share/doc/libcoq-mathcomp-real-closed
usr/share/doc/libcoq-mathcomp-real-closed/README.md.gz
usr/share/doc/libcoq-mathcomp-real-closed/changelog.Debian.gz
usr/share/doc/libcoq-mathcomp-real-closed/copyright
var
var/lib
var/lib/coq
var/lib/coq/md5sums
var/lib/coq/md5sums/libcoq-mathcomp-real-closed.checksum