Package - libcoq-mathcomp-analysis
Package: libcoq-mathcomp-analysis
apt-get install libcoq-mathcomp-analysis
apt-get install libcoq-mathcomp-analysis
Documentations in package:
Primary informations
Download package: http://deb.debian.org/debian/pool/main/m/mathcomp-analysis/libcoq-mathcomp-analysis_1.9.0-1+b3_amd64.deb (Size: 16.8MiB)| Property | Value |
|---|---|
| Package | libcoq-mathcomp-analysis |
| Source | mathcomp-analysis (1.9.0-1) |
| Version | 1.9.0-1+b3 |
| Installed-Size | 70036 |
| Maintainer | Debian OCaml Maintainers |
| Architecture | amd64 |
| Provides | libcoq-mathcomp-analysis-0wn42 |
| Depends | libcoq-elpi-s1x22, libcoq-hierarchy-builder-x91u3, libcoq-mathcomp-algebra-ausx4, libcoq-mathcomp-field-opte0, libcoq-mathcomp-fingroup-ibaa9, libcoq-mathcomp-solvable-pljy8, libcoq-mathcomp-ssreflect-08jv4, libcoq-mathcomp-bigenough-06xl3, libcoq-mathcomp-finmap-ovde1, libcoq-mathcomp-classical (= 1.9.0-1+b3) |
| Description | analysis extension for Mathematical Components |
| Description-md5 | 17ca6253f8d79f552f583a9d3bacf467 |
| Homepage | https://github.com/math-comp/analysis |
| Section | ocaml |
| Priority | optional |
| Filename | pool/main/m/mathcomp-analysis/libcoq-mathcomp-analysis_1.9.0-1+b3_amd64.deb |
| Size | 17624728 |
| MD5sum | 22765e4de86efd50a61197af80245938 |
| SHA256 | ff9a9293a841edef5cf5636153f388ddabac6dd1ef780ce0a7b3e3c1ca0a4f17 |
Files in package
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/all_analysis.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/all_analysis.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/all_analysis.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/cantor.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/cantor.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/cantor.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/charge.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/charge.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/charge.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/convex.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/convex.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/convex.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/derive.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/derive.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/derive.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/ereal.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/ereal.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/ereal.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/esum.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/esum.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/esum.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/exp.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/exp.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/exp.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/forms.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/forms.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/forms.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/ftc.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/ftc.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/ftc.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/function_spaces.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/function_spaces.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/function_spaces.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/gauss_integral.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/gauss_integral.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/gauss_integral.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/hoelder.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/hoelder.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/hoelder.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/homotopy_theory/continuous_path.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/homotopy_theory/continuous_path.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/homotopy_theory/continuous_path.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/homotopy_theory/homotopy.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/homotopy_theory/homotopy.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/homotopy_theory/homotopy.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/homotopy_theory/wedge_sigT.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/homotopy_theory/wedge_sigT.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/homotopy_theory/wedge_sigT.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/kernel.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/kernel.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/kernel.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/landau.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/landau.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/landau.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/lebesgue_integral.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/lebesgue_integral.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/lebesgue_integral.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/lebesgue_measure.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/lebesgue_measure.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/lebesgue_measure.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/lebesgue_stieltjes_measure.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/lebesgue_stieltjes_measure.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/lebesgue_stieltjes_measure.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/measurable_realfun.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/measurable_realfun.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/measurable_realfun.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/measure.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/measure.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/measure.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/normedtype.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/normedtype.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/normedtype.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/numfun.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/numfun.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/numfun.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/pi_irrational.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/pi_irrational.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/pi_irrational.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/probability.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/probability.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/probability.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/realfun.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/realfun.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/realfun.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/separation_axioms.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/separation_axioms.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/separation_axioms.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/sequences.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/sequences.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/sequences.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/showcase/summability.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/showcase/summability.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/showcase/summability.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/bool_topology.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/bool_topology.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/bool_topology.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/compact.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/compact.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/compact.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/connected.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/connected.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/connected.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/discrete_topology.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/discrete_topology.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/discrete_topology.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/matrix_topology.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/matrix_topology.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/matrix_topology.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/nat_topology.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/nat_topology.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/nat_topology.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/num_topology.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/num_topology.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/num_topology.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/one_point_compactification.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/one_point_compactification.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/one_point_compactification.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/order_topology.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/order_topology.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/order_topology.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/product_topology.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/product_topology.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/product_topology.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/pseudometric_structure.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/pseudometric_structure.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/pseudometric_structure.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/quotient_topology.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/quotient_topology.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/quotient_topology.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/sigT_topology.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/sigT_topology.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/sigT_topology.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/subspace_topology.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/subspace_topology.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/subspace_topology.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/subtype_topology.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/subtype_topology.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/subtype_topology.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/supremum_topology.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/supremum_topology.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/supremum_topology.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/topology.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/topology.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/topology.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/topology_structure.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/topology_structure.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/topology_structure.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/uniform_structure.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/uniform_structure.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/uniform_structure.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/weak_topology.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/weak_topology.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/topology_theory/weak_topology.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/trigo.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/trigo.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/trigo.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/tvs.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/tvs.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis/tvs.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis_stdlib/Rstruct_topology.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis_stdlib/Rstruct_topology.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis_stdlib/Rstruct_topology.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis_stdlib/showcase/uniform_bigO.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis_stdlib/showcase/uniform_bigO.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/analysis_stdlib/showcase/uniform_bigO.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/experimental_reals/discrete.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/experimental_reals/discrete.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/experimental_reals/discrete.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/experimental_reals/distr.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/experimental_reals/distr.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/experimental_reals/distr.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/experimental_reals/realseq.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/experimental_reals/realseq.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/experimental_reals/realseq.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/experimental_reals/realsum.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/experimental_reals/realsum.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/experimental_reals/realsum.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/experimental_reals/xfinmap.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/experimental_reals/xfinmap.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/experimental_reals/xfinmap.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/reals/all_reals.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/reals/all_reals.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/reals/all_reals.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/reals/constructive_ereal.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/reals/constructive_ereal.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/reals/constructive_ereal.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/reals/interval_inference.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/reals/interval_inference.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/reals/interval_inference.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/reals/nsatz_realtype.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/reals/nsatz_realtype.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/reals/nsatz_realtype.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/reals/prodnormedzmodule.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/reals/prodnormedzmodule.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/reals/prodnormedzmodule.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/reals/real_interval.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/reals/real_interval.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/reals/real_interval.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/reals/reals.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/reals/reals.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/reals/reals.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/reals/signed.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/reals/signed.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/reals/signed.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/reals_stdlib/Rstruct.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/reals_stdlib/Rstruct.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/reals_stdlib/Rstruct.vo
- /usr/share/doc/libcoq-mathcomp-analysis/CHANGELOG_UNRELEASED.md
- /usr/share/doc/libcoq-mathcomp-analysis/CONTRIBUTING.md.gz
- /usr/share/doc/libcoq-mathcomp-analysis/README.md.gz
- /usr/share/doc/libcoq-mathcomp-analysis/changelog.Debian.amd64.gz
- /usr/share/doc/libcoq-mathcomp-analysis/changelog.Debian.gz
- /usr/share/doc/libcoq-mathcomp-analysis/changelog.gz
- /usr/share/doc/libcoq-mathcomp-analysis/copyright
- /var/lib/coq/md5sums/libcoq-mathcomp-analysis.checksum