Liste des fichiers du paquet libcoq-mathcomp-algebra dans aramo pour l'architecture all

/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/all_algebra.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/all_algebra.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/all_algebra.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/countalg.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/countalg.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/countalg.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/finalg.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/finalg.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/finalg.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/fraction.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/fraction.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/fraction.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/intdiv.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/intdiv.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/intdiv.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/interval.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/interval.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/interval.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/matrix.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/matrix.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/matrix.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/mxalgebra.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/mxalgebra.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/mxalgebra.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/mxpoly.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/mxpoly.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/mxpoly.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/poly.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/poly.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/poly.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/polyXY.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/polyXY.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/polyXY.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/polydiv.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/polydiv.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/polydiv.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/rat.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/rat.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/rat.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/ring_quotient.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/ring_quotient.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/ring_quotient.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/ssralg.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/ssralg.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/ssralg.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/ssrint.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/ssrint.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/ssrint.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/ssrnum.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/ssrnum.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/ssrnum.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/vector.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/vector.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/vector.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/zmodp.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/zmodp.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/zmodp.vo
/usr/share/doc/libcoq-mathcomp-algebra/changelog.Debian.gz
/usr/share/doc/libcoq-mathcomp-algebra/copyright