github.com/coq/opam-coq-archive
Mathematical Components Library on finite groups (II)
opam install coq-mathcomp-solvable.1.6.4