File list of package libcoq-mathcomp-fingroup in aramo of architecture all

/usr/lib/ocaml/coq/user-contrib/mathcomp/fingroup/action.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/fingroup/action.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/fingroup/action.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/fingroup/all_fingroup.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/fingroup/all_fingroup.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/fingroup/all_fingroup.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/fingroup/automorphism.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/fingroup/automorphism.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/fingroup/automorphism.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/fingroup/fingroup.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/fingroup/fingroup.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/fingroup/fingroup.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/fingroup/gproduct.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/fingroup/gproduct.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/fingroup/gproduct.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/fingroup/morphism.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/fingroup/morphism.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/fingroup/morphism.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/fingroup/perm.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/fingroup/perm.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/fingroup/perm.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/fingroup/presentation.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/fingroup/presentation.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/fingroup/presentation.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/fingroup/quotient.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/fingroup/quotient.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/fingroup/quotient.vo
/usr/share/doc/libcoq-mathcomp-fingroup/changelog.Debian.gz
/usr/share/doc/libcoq-mathcomp-fingroup/copyright