File list of package libcoq-mathcomp-solvable in oracular of architecture all

/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/abelian.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/abelian.v
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/abelian.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/all_solvable.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/all_solvable.v
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/all_solvable.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/alt.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/alt.v
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/alt.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/burnside_app.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/burnside_app.v
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/burnside_app.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/center.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/center.v
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/center.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/commutator.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/commutator.v
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/commutator.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/cyclic.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/cyclic.v
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/cyclic.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/extraspecial.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/extraspecial.v
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/extraspecial.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/extremal.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/extremal.v
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/extremal.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/finmodule.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/finmodule.v
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/finmodule.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/frobenius.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/frobenius.v
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/frobenius.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/gfunctor.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/gfunctor.v
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/gfunctor.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/gseries.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/gseries.v
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/gseries.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/hall.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/hall.v
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/hall.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/jordanholder.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/jordanholder.v
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/jordanholder.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/maximal.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/maximal.v
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/maximal.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/nilpotent.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/nilpotent.v
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/nilpotent.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/pgroup.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/pgroup.v
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/pgroup.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/primitive_action.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/primitive_action.v
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/primitive_action.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/sylow.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/sylow.v
/usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/mathcomp/solvable/sylow.vo
/usr/share/doc/libcoq-mathcomp-solvable/changelog.Debian.gz
/usr/share/doc/libcoq-mathcomp-solvable/copyright
/var/lib/coq/md5sums/libcoq-mathcomp-solvable.checksum