File list of package libcoq-mathcomp-analysis in jammy of architecture amd64

/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/Rstruct.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/Rstruct.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/Rstruct.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/altreals/discrete.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/altreals/discrete.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/altreals/discrete.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/altreals/distr.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/altreals/distr.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/altreals/distr.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/altreals/realseq.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/altreals/realseq.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/altreals/realseq.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/altreals/realsum.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/altreals/realsum.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/altreals/realsum.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/altreals/xfinmap.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/altreals/xfinmap.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/altreals/xfinmap.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/boolp.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/boolp.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/boolp.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/cardinality.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/cardinality.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/cardinality.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/classical_sets.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/classical_sets.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/classical_sets.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/csum.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/csum.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/csum.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/derive.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/derive.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/derive.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/ereal.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/ereal.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/ereal.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/exp.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/exp.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/exp.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/forms.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/forms.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/forms.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/landau.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/landau.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/landau.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/measure.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/measure.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/measure.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/nngnum.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/nngnum.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/nngnum.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/normedtype.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/normedtype.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/normedtype.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/nsatz_realtype.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/nsatz_realtype.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/nsatz_realtype.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/posnum.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/posnum.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/posnum.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/prodnormedzmodule.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/prodnormedzmodule.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/prodnormedzmodule.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/realfun.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/realfun.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/realfun.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/reals.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/reals.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/reals.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/sequences.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/sequences.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/sequences.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/summability.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/summability.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/summability.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/topology.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/topology.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/topology.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/trigo.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/trigo.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/trigo.vo
/usr/share/doc/libcoq-mathcomp-analysis/CHANGELOG_UNRELEASED.md
/usr/share/doc/libcoq-mathcomp-analysis/CONTRIBUTING.md
/usr/share/doc/libcoq-mathcomp-analysis/README.md.gz
/usr/share/doc/libcoq-mathcomp-analysis/changelog.Debian.gz
/usr/share/doc/libcoq-mathcomp-analysis/copyright