libcoq-coquelicot (3.4.3-1build10)

Details

Core information at a glance
Distribution: ubuntu
Origin: ubuntu-stonking
Repository: https://nl.archive.ubuntu.com/ubuntu
Codename: stonking
Component: universe
Source: coquelicot
Architecture: amd64v3
Section: universe/ocaml
Priority: optional
Maintainer: Ubuntu Developers <[email protected]>
Size & integrity

Byte sizes and integrity verification
Installed size: 13.1 kB
Size expected: 3.9 MB
Size actual: 3.9 MB
Size match
Dependencies

Required package dependencies
libcoq-mathcomp-ssreflect-bqio0
Suggested packages

Recommended additional packages
None
Description

Coq library for real analysis
Homepage Download .deb
Checksums

Hash values and integrity verification status
Type	Expected	Actual
MD5	0d4dad29…e28c5419	0d4dad29…e28c5419
SHA-1	b19a9089…2db99d8c	b19a9089…2db99d8c
SHA-256	00d25703…b17069d9	00d25703…b17069d9
SHA-512	a380c9ed…c6dec964	a380c9ed…c6dec964
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/Coquelicot
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/AutoDerive.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/AutoDerive.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/AutoDerive.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/AutoDerive.vok
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/AutoDerive.vos
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Compactness.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Compactness.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Compactness.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Compactness.vok
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Compactness.vos
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Complex.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Complex.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Complex.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Complex.vok
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Complex.vos
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Continuity.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Continuity.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Continuity.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Continuity.vok
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Continuity.vos
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Coquelicot.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Coquelicot.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Coquelicot.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Coquelicot.vok
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Coquelicot.vos
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Derive.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Derive.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Derive.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Derive.vok
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Derive.vos
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Derive_2d.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Derive_2d.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Derive_2d.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Derive_2d.vok
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Derive_2d.vos
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/ElemFct.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/ElemFct.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/ElemFct.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/ElemFct.vok
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/ElemFct.vos
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Equiv.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Equiv.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Equiv.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Equiv.vok
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Equiv.vos
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Hierarchy.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Hierarchy.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Hierarchy.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Hierarchy.vok
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Hierarchy.vos
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Iter.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Iter.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Iter.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Iter.vok
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Iter.vos
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/KHInt.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/KHInt.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/KHInt.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/KHInt.vok
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/KHInt.vos
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Lim_seq.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Lim_seq.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Lim_seq.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Lim_seq.vok
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Lim_seq.vos
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Lub.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Lub.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Lub.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Lub.vok
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Lub.vos
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Markov.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Markov.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Markov.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Markov.vok
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Markov.vos
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/PSeries.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/PSeries.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/PSeries.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/PSeries.vok
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/PSeries.vos
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/RInt.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/RInt.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/RInt.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/RInt.vok
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/RInt.vos
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/RInt_analysis.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/RInt_analysis.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/RInt_analysis.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/RInt_analysis.vok
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/RInt_analysis.vos
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/RInt_gen.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/RInt_gen.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/RInt_gen.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/RInt_gen.vok
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/RInt_gen.vos
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Rbar.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Rbar.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Rbar.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Rbar.vok
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Rbar.vos
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Rcomplements.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Rcomplements.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Rcomplements.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Rcomplements.vok
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Rcomplements.vos
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/SF_seq.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/SF_seq.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/SF_seq.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/SF_seq.vok
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/SF_seq.vos
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Seq_fct.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Seq_fct.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Seq_fct.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Seq_fct.vok
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Seq_fct.vos
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Series.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Series.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Series.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Series.vok
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coquelicot/Series.vos
usr/share
usr/share/doc
usr/share/doc/libcoq-coquelicot
usr/share/doc/libcoq-coquelicot/changelog.Debian.gz
usr/share/doc/libcoq-coquelicot/copyright
usr/share/doc/libcoq-coquelicot/examples
usr/share/doc/libcoq-coquelicot/examples/BacS2013.v
usr/share/doc/libcoq-coquelicot/examples/BacS2013_bonus.v
usr/share/doc/libcoq-coquelicot/examples/Bessel.v
usr/share/doc/libcoq-coquelicot/examples/DAlembert.v
var
var/lib
var/lib/coq
var/lib/coq/md5sums
var/lib/coq/md5sums/libcoq-coquelicot.checksum