Package - libcoq-coquelicot
Primary informations
Download package: http://deb.debian.org/debian/pool/main/c/coquelicot/libcoq-coquelicot_3.4.3-1+b3_amd64.deb (Size: 3.2MiB)| Property | Value |
|---|---|
| Package | libcoq-coquelicot |
| Source | coquelicot (3.4.3-1) |
| Version | 3.4.3-1+b3 |
| Installed-Size | 13087 |
| Maintainer | Debian OCaml Maintainers |
| Architecture | amd64 |
| Provides | libcoq-coquelicot-lzoj5 |
| Depends | libcoq-mathcomp-ssreflect-08jv4 |
| Description | Coq library for real analysis |
| Description-md5 | 1a4a4a918ba48def79e1bc8e2e39dd79 |
| Homepage | https://coquelicot.saclay.inria.fr/ |
| Section | ocaml |
| Priority | optional |
| Filename | pool/main/c/coquelicot/libcoq-coquelicot_3.4.3-1+b3_amd64.deb |
| Size | 3362628 |
| MD5sum | 8e9f181322c92fbdd6083f748e4ed450 |
| SHA256 | 8143cefa49267ac866dffda68efdd3733b72fbcc7b3e91ac8b1a250a6c6e0eb3 |
Files in package
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/AutoDerive.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/AutoDerive.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/AutoDerive.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/AutoDerive.vok
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/AutoDerive.vos
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Compactness.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Compactness.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Compactness.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Compactness.vok
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Compactness.vos
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Complex.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Complex.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Complex.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Complex.vok
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Complex.vos
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Continuity.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Continuity.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Continuity.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Continuity.vok
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Continuity.vos
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Coquelicot.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Coquelicot.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Coquelicot.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Coquelicot.vok
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Coquelicot.vos
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Derive.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Derive.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Derive.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Derive.vok
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Derive.vos
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Derive_2d.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Derive_2d.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Derive_2d.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Derive_2d.vok
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Derive_2d.vos
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/ElemFct.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/ElemFct.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/ElemFct.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/ElemFct.vok
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/ElemFct.vos
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Equiv.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Equiv.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Equiv.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Equiv.vok
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Equiv.vos
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Hierarchy.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Hierarchy.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Hierarchy.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Hierarchy.vok
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Hierarchy.vos
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Iter.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Iter.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Iter.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Iter.vok
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Iter.vos
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/KHInt.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/KHInt.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/KHInt.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/KHInt.vok
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/KHInt.vos
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Lim_seq.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Lim_seq.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Lim_seq.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Lim_seq.vok
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Lim_seq.vos
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Lub.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Lub.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Lub.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Lub.vok
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Lub.vos
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Markov.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Markov.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Markov.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Markov.vok
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Markov.vos
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/PSeries.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/PSeries.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/PSeries.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/PSeries.vok
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/PSeries.vos
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/RInt.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/RInt.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/RInt.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/RInt.vok
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/RInt.vos
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/RInt_analysis.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/RInt_analysis.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/RInt_analysis.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/RInt_analysis.vok
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/RInt_analysis.vos
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/RInt_gen.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/RInt_gen.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/RInt_gen.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/RInt_gen.vok
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/RInt_gen.vos
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Rbar.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Rbar.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Rbar.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Rbar.vok
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Rbar.vos
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Rcomplements.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Rcomplements.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Rcomplements.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Rcomplements.vok
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Rcomplements.vos
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/SF_seq.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/SF_seq.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/SF_seq.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/SF_seq.vok
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/SF_seq.vos
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Seq_fct.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Seq_fct.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Seq_fct.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Seq_fct.vok
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Seq_fct.vos
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Series.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Series.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Series.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Series.vok
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coquelicot/Series.vos
- /usr/share/doc/libcoq-coquelicot/changelog.Debian.amd64.gz
- /usr/share/doc/libcoq-coquelicot/changelog.Debian.gz
- /usr/share/doc/libcoq-coquelicot/changelog.gz
- /usr/share/doc/libcoq-coquelicot/copyright
- /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/lib/coq/md5sums/libcoq-coquelicot.checksum