{
  "name":"mathcomp",
  "deps":[],
  "pkgs":[],
  "chunks":[
    {
      "name":"mathcomp-ssreflect",
      "deps":[],
      "modules":{
        "mathcomp.ssreflect.all_ssreflect":{
          "deps":[
            "Coq.ssr.ssreflect",
            "mathcomp.ssreflect.ssreflect",
            "Coq.ssr.ssrbool",
            "mathcomp.ssreflect.ssrbool",
            "Coq.ssr.ssrfun",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.path",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.fingraph",
            "mathcomp.ssreflect.tuple",
            "mathcomp.ssreflect.finfun",
            "mathcomp.ssreflect.bigop",
            "mathcomp.ssreflect.prime",
            "mathcomp.ssreflect.finset",
            "mathcomp.ssreflect.order",
            "mathcomp.ssreflect.binomial",
            "mathcomp.ssreflect.generic_quotient",
            "mathcomp.ssreflect.ssrAC"
          ]
        },
        "mathcomp.ssreflect.bigop":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.path",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.tuple",
            "mathcomp.ssreflect.finfun"
          ]
        },
        "mathcomp.ssreflect.binomial":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.path",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.tuple",
            "mathcomp.ssreflect.finfun",
            "mathcomp.ssreflect.bigop",
            "mathcomp.ssreflect.prime",
            "mathcomp.ssreflect.finset"
          ]
        },
        "mathcomp.ssreflect.choice":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq"
          ]
        },
        "mathcomp.ssreflect.div":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq"
          ]
        },
        "mathcomp.ssreflect.eqtype":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.ssrbool"
          ]
        },
        "mathcomp.ssreflect.finfun":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.tuple"
          ]
        },
        "mathcomp.ssreflect.fingraph":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.path",
            "mathcomp.ssreflect.fintype"
          ]
        },
        "mathcomp.ssreflect.finset":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.finfun",
            "mathcomp.ssreflect.bigop"
          ]
        },
        "mathcomp.ssreflect.fintype":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.path"
          ]
        },
        "mathcomp.ssreflect.generic_quotient":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.fintype"
          ]
        },
        "mathcomp.ssreflect.order":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.path",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.tuple",
            "mathcomp.ssreflect.bigop",
            "mathcomp.ssreflect.finset",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.prime",
            "mathcomp.ssreflect.finfun"
          ]
        },
        "mathcomp.ssreflect.path":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq"
          ]
        },
        "mathcomp.ssreflect.prime":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.path",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.bigop"
          ]
        },
        "mathcomp.ssreflect.seq":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat"
          ]
        },
        "mathcomp.ssreflect.ssrAC":{
          "deps":[
            "Coq.PArith.BinPos",
            "Coq.NArith.BinNat",
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.bigop"
          ]
        },
        "mathcomp.ssreflect.ssrbool":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrfun",
            "Coq.ssr.ssrbool"
          ]
        },
        "mathcomp.ssreflect.ssreflect":{"deps":["Coq.ssr.ssreflect"]},
        "mathcomp.ssreflect.ssrfun":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "Coq.ssr.ssrfun",
            "mathcomp.ssreflect.ssrnotations"
          ]
        },
        "mathcomp.ssreflect.ssrmatching":{"deps":["Coq.ssrmatching.ssrmatching"]},
        "mathcomp.ssreflect.ssrnat":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.eqtype",
            "Coq.NArith.BinNat",
            "Coq.PArith.BinPos",
            "Coq.NArith.Ndec",
            "Coq.setoid_ring.Ring"
          ]
        },
        "mathcomp.ssreflect.ssrnotations":{},
        "mathcomp.ssreflect.tuple":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.path"
          ]
        }
      }
    },
    {
      "name":"mathcomp-fingroup",
      "deps":[],
      "modules":{
        "mathcomp.fingroup.action":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.bigop",
            "mathcomp.ssreflect.finset",
            "mathcomp.fingroup.fingroup",
            "mathcomp.fingroup.morphism",
            "mathcomp.fingroup.perm",
            "mathcomp.fingroup.automorphism",
            "mathcomp.fingroup.quotient"
          ]
        },
        "mathcomp.fingroup.all_fingroup":{
          "deps":[
            "mathcomp.fingroup.action",
            "mathcomp.fingroup.automorphism",
            "mathcomp.fingroup.fingroup",
            "mathcomp.fingroup.gproduct",
            "mathcomp.fingroup.morphism",
            "mathcomp.fingroup.perm",
            "mathcomp.fingroup.presentation",
            "mathcomp.fingroup.quotient"
          ]
        },
        "mathcomp.fingroup.automorphism":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.finset",
            "mathcomp.fingroup.fingroup",
            "mathcomp.fingroup.perm",
            "mathcomp.fingroup.morphism"
          ]
        },
        "mathcomp.fingroup.fingroup":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.path",
            "mathcomp.ssreflect.tuple",
            "mathcomp.ssreflect.bigop",
            "mathcomp.ssreflect.prime",
            "mathcomp.ssreflect.finset"
          ]
        },
        "mathcomp.fingroup.gproduct":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.bigop",
            "mathcomp.ssreflect.finset",
            "mathcomp.fingroup.fingroup",
            "mathcomp.fingroup.morphism",
            "mathcomp.fingroup.quotient",
            "mathcomp.fingroup.action"
          ]
        },
        "mathcomp.fingroup.morphism":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.finfun",
            "mathcomp.ssreflect.bigop",
            "mathcomp.ssreflect.finset",
            "mathcomp.fingroup.fingroup"
          ]
        },
        "mathcomp.fingroup.perm":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.path",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.tuple",
            "mathcomp.ssreflect.finfun",
            "mathcomp.ssreflect.bigop",
            "mathcomp.ssreflect.finset",
            "mathcomp.ssreflect.binomial",
            "mathcomp.fingroup.fingroup",
            "mathcomp.fingroup.morphism"
          ]
        },
        "mathcomp.fingroup.presentation":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.finset",
            "mathcomp.fingroup.fingroup",
            "mathcomp.fingroup.morphism"
          ]
        },
        "mathcomp.fingroup.quotient":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.prime",
            "mathcomp.ssreflect.finset",
            "mathcomp.fingroup.fingroup",
            "mathcomp.fingroup.morphism",
            "mathcomp.fingroup.automorphism"
          ]
        }
      }
    },
    {
      "name":"mathcomp-algebra",
      "deps":[],
      "modules":{
        "mathcomp.algebra.all_algebra":{
          "deps":[
            "mathcomp.algebra.ssralg",
            "mathcomp.algebra.ssrnum",
            "mathcomp.algebra.finalg",
            "mathcomp.algebra.countalg",
            "mathcomp.algebra.poly",
            "mathcomp.algebra.polydiv",
            "mathcomp.algebra.polyXY",
            "mathcomp.algebra.ssrint",
            "mathcomp.algebra.rat",
            "mathcomp.algebra.intdiv",
            "mathcomp.algebra.interval",
            "mathcomp.algebra.matrix",
            "mathcomp.algebra.mxpoly",
            "mathcomp.algebra.mxalgebra",
            "mathcomp.algebra.vector",
            "mathcomp.algebra.ring_quotient",
            "mathcomp.algebra.fraction",
            "mathcomp.algebra.zmodp"
          ]
        },
        "mathcomp.algebra.countalg":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.bigop",
            "mathcomp.algebra.ssralg"
          ]
        },
        "mathcomp.algebra.finalg":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.finset",
            "mathcomp.fingroup.fingroup",
            "mathcomp.fingroup.morphism",
            "mathcomp.fingroup.perm",
            "mathcomp.fingroup.action",
            "mathcomp.algebra.ssralg",
            "mathcomp.algebra.countalg"
          ]
        },
        "mathcomp.algebra.fraction":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.ssrAC",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.tuple",
            "mathcomp.ssreflect.bigop",
            "mathcomp.algebra.ssralg",
            "mathcomp.algebra.poly",
            "mathcomp.algebra.polydiv",
            "mathcomp.ssreflect.generic_quotient"
          ]
        },
        "mathcomp.algebra.intdiv":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.path",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.tuple",
            "mathcomp.ssreflect.finfun",
            "mathcomp.ssreflect.bigop",
            "mathcomp.ssreflect.prime",
            "mathcomp.ssreflect.order",
            "mathcomp.algebra.ssralg",
            "mathcomp.algebra.poly",
            "mathcomp.algebra.ssrnum",
            "mathcomp.algebra.ssrint",
            "mathcomp.algebra.rat",
            "mathcomp.algebra.matrix",
            "mathcomp.algebra.polydiv",
            "mathcomp.fingroup.perm",
            "mathcomp.algebra.zmodp",
            "mathcomp.algebra.mxalgebra",
            "mathcomp.algebra.vector"
          ]
        },
        "mathcomp.algebra.interval":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.bigop",
            "mathcomp.ssreflect.order",
            "mathcomp.algebra.ssralg",
            "mathcomp.ssreflect.finset",
            "mathcomp.fingroup.fingroup",
            "mathcomp.algebra.ssrnum"
          ]
        },
        "mathcomp.algebra.matrix":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.finfun",
            "mathcomp.ssreflect.bigop",
            "mathcomp.ssreflect.finset",
            "mathcomp.fingroup.fingroup",
            "mathcomp.fingroup.perm",
            "mathcomp.ssreflect.order",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.prime",
            "mathcomp.ssreflect.binomial",
            "mathcomp.algebra.ssralg",
            "mathcomp.algebra.countalg",
            "mathcomp.algebra.finalg",
            "mathcomp.algebra.zmodp"
          ]
        },
        "mathcomp.algebra.mxalgebra":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.finfun",
            "mathcomp.ssreflect.bigop",
            "mathcomp.ssreflect.finset",
            "mathcomp.fingroup.fingroup",
            "mathcomp.fingroup.perm",
            "mathcomp.ssreflect.order",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.prime",
            "mathcomp.ssreflect.binomial",
            "mathcomp.algebra.ssralg",
            "mathcomp.algebra.finalg",
            "mathcomp.algebra.zmodp",
            "mathcomp.algebra.matrix"
          ]
        },
        "mathcomp.algebra.mxpoly":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.tuple",
            "mathcomp.ssreflect.finfun",
            "mathcomp.ssreflect.bigop",
            "mathcomp.fingroup.fingroup",
            "mathcomp.fingroup.perm",
            "mathcomp.algebra.ssralg",
            "mathcomp.algebra.zmodp",
            "mathcomp.algebra.matrix",
            "mathcomp.algebra.mxalgebra",
            "mathcomp.algebra.poly",
            "mathcomp.algebra.polydiv"
          ]
        },
        "mathcomp.algebra.poly":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.bigop",
            "mathcomp.ssreflect.div",
            "mathcomp.algebra.ssralg",
            "mathcomp.algebra.countalg",
            "mathcomp.ssreflect.binomial",
            "mathcomp.ssreflect.tuple"
          ]
        },
        "mathcomp.algebra.polyXY":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.tuple",
            "mathcomp.ssreflect.finfun",
            "mathcomp.ssreflect.bigop",
            "mathcomp.fingroup.fingroup",
            "mathcomp.fingroup.perm",
            "mathcomp.ssreflect.div",
            "mathcomp.algebra.ssralg",
            "mathcomp.algebra.zmodp",
            "mathcomp.algebra.matrix",
            "mathcomp.algebra.mxalgebra",
            "mathcomp.algebra.poly",
            "mathcomp.algebra.polydiv",
            "mathcomp.algebra.mxpoly",
            "mathcomp.ssreflect.binomial"
          ]
        },
        "mathcomp.algebra.polydiv":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.bigop",
            "mathcomp.algebra.ssralg",
            "mathcomp.algebra.poly"
          ]
        },
        "mathcomp.algebra.rat":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.bigop",
            "mathcomp.ssreflect.order",
            "mathcomp.algebra.ssralg",
            "mathcomp.algebra.countalg",
            "mathcomp.ssreflect.div",
            "mathcomp.algebra.ssrnum",
            "mathcomp.algebra.ssrint",
            "mathcomp.ssreflect.prime",
            "Coq.setoid_ring.Field_theory",
            "Coq.setoid_ring.Field_tac"
          ]
        },
        "mathcomp.algebra.ring_quotient":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.seq",
            "mathcomp.algebra.ssralg",
            "mathcomp.ssreflect.generic_quotient"
          ]
        },
        "mathcomp.algebra.ssralg":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.finfun",
            "mathcomp.ssreflect.bigop",
            "mathcomp.ssreflect.prime",
            "mathcomp.ssreflect.binomial"
          ]
        },
        "mathcomp.algebra.ssrint":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.finfun",
            "mathcomp.ssreflect.bigop",
            "mathcomp.ssreflect.order",
            "mathcomp.algebra.ssralg",
            "mathcomp.algebra.countalg",
            "mathcomp.algebra.ssrnum",
            "mathcomp.algebra.poly"
          ]
        },
        "mathcomp.algebra.ssrnum":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.ssrAC",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.path",
            "mathcomp.ssreflect.bigop",
            "mathcomp.ssreflect.order",
            "mathcomp.ssreflect.finset",
            "mathcomp.fingroup.fingroup",
            "mathcomp.algebra.ssralg",
            "mathcomp.algebra.poly"
          ]
        },
        "mathcomp.algebra.vector":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.bigop",
            "mathcomp.ssreflect.finfun",
            "mathcomp.ssreflect.tuple",
            "mathcomp.algebra.ssralg",
            "mathcomp.algebra.matrix",
            "mathcomp.algebra.mxalgebra",
            "mathcomp.algebra.zmodp"
          ]
        },
        "mathcomp.algebra.zmodp":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.bigop",
            "mathcomp.ssreflect.finset",
            "mathcomp.ssreflect.prime",
            "mathcomp.fingroup.fingroup",
            "mathcomp.algebra.ssralg",
            "mathcomp.algebra.finalg",
            "mathcomp.algebra.countalg"
          ]
        }
      }
    },
    {
      "name":"mathcomp-solvable",
      "deps":[],
      "modules":{
        "mathcomp.solvable.abelian":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.path",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.finfun",
            "mathcomp.ssreflect.bigop",
            "mathcomp.ssreflect.finset",
            "mathcomp.ssreflect.prime",
            "mathcomp.ssreflect.binomial",
            "mathcomp.fingroup.fingroup",
            "mathcomp.fingroup.morphism",
            "mathcomp.fingroup.perm",
            "mathcomp.fingroup.automorphism",
            "mathcomp.fingroup.action",
            "mathcomp.fingroup.quotient",
            "mathcomp.solvable.gfunctor",
            "mathcomp.fingroup.gproduct",
            "mathcomp.algebra.ssralg",
            "mathcomp.algebra.countalg",
            "mathcomp.algebra.finalg",
            "mathcomp.algebra.zmodp",
            "mathcomp.solvable.cyclic",
            "mathcomp.solvable.pgroup",
            "mathcomp.solvable.gseries",
            "mathcomp.solvable.nilpotent",
            "mathcomp.solvable.sylow"
          ]
        },
        "mathcomp.solvable.all_solvable":{
          "deps":[
            "mathcomp.solvable.abelian",
            "mathcomp.solvable.alt",
            "mathcomp.solvable.burnside_app",
            "mathcomp.solvable.center",
            "mathcomp.solvable.commutator",
            "mathcomp.solvable.cyclic",
            "mathcomp.solvable.extraspecial",
            "mathcomp.solvable.extremal",
            "mathcomp.solvable.finmodule",
            "mathcomp.solvable.frobenius",
            "mathcomp.solvable.gfunctor",
            "mathcomp.solvable.gseries",
            "mathcomp.solvable.hall",
            "mathcomp.solvable.jordanholder",
            "mathcomp.solvable.maximal",
            "mathcomp.solvable.nilpotent",
            "mathcomp.solvable.pgroup",
            "mathcomp.solvable.primitive_action",
            "mathcomp.solvable.sylow"
          ]
        },
        "mathcomp.solvable.alt":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.tuple",
            "mathcomp.ssreflect.bigop",
            "mathcomp.ssreflect.prime",
            "mathcomp.ssreflect.finset",
            "mathcomp.fingroup.fingroup",
            "mathcomp.fingroup.morphism",
            "mathcomp.fingroup.perm",
            "mathcomp.fingroup.automorphism",
            "mathcomp.fingroup.quotient",
            "mathcomp.fingroup.action",
            "mathcomp.solvable.cyclic",
            "mathcomp.solvable.pgroup",
            "mathcomp.solvable.gseries",
            "mathcomp.solvable.sylow",
            "mathcomp.solvable.primitive_action"
          ]
        },
        "mathcomp.solvable.burnside_app":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.tuple",
            "mathcomp.ssreflect.finfun",
            "mathcomp.ssreflect.bigop",
            "mathcomp.ssreflect.finset",
            "mathcomp.fingroup.fingroup",
            "mathcomp.fingroup.action",
            "mathcomp.fingroup.perm",
            "mathcomp.solvable.primitive_action"
          ]
        },
        "mathcomp.solvable.center":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.bigop",
            "mathcomp.ssreflect.finset",
            "mathcomp.fingroup.fingroup",
            "mathcomp.fingroup.morphism",
            "mathcomp.fingroup.perm",
            "mathcomp.fingroup.automorphism",
            "mathcomp.fingroup.quotient",
            "mathcomp.fingroup.action",
            "mathcomp.fingroup.gproduct",
            "mathcomp.solvable.gfunctor",
            "mathcomp.solvable.cyclic"
          ]
        },
        "mathcomp.solvable.commutator":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.bigop",
            "mathcomp.ssreflect.finset",
            "mathcomp.ssreflect.binomial",
            "mathcomp.fingroup.fingroup",
            "mathcomp.fingroup.morphism",
            "mathcomp.fingroup.automorphism",
            "mathcomp.fingroup.quotient",
            "mathcomp.solvable.gfunctor"
          ]
        },
        "mathcomp.solvable.cyclic":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.bigop",
            "mathcomp.ssreflect.prime",
            "mathcomp.ssreflect.finset",
            "mathcomp.fingroup.fingroup",
            "mathcomp.fingroup.morphism",
            "mathcomp.fingroup.perm",
            "mathcomp.fingroup.automorphism",
            "mathcomp.fingroup.quotient",
            "mathcomp.fingroup.gproduct",
            "mathcomp.algebra.ssralg",
            "mathcomp.algebra.finalg",
            "mathcomp.algebra.zmodp",
            "mathcomp.algebra.poly"
          ]
        },
        "mathcomp.solvable.extraspecial":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.bigop",
            "mathcomp.ssreflect.finset",
            "mathcomp.ssreflect.prime",
            "mathcomp.ssreflect.binomial",
            "mathcomp.fingroup.fingroup",
            "mathcomp.fingroup.morphism",
            "mathcomp.fingroup.perm",
            "mathcomp.fingroup.automorphism",
            "mathcomp.fingroup.presentation",
            "mathcomp.fingroup.quotient",
            "mathcomp.fingroup.action",
            "mathcomp.solvable.commutator",
            "mathcomp.fingroup.gproduct",
            "mathcomp.solvable.gfunctor",
            "mathcomp.algebra.ssralg",
            "mathcomp.algebra.finalg",
            "mathcomp.algebra.zmodp",
            "mathcomp.solvable.cyclic",
            "mathcomp.solvable.pgroup",
            "mathcomp.solvable.center",
            "mathcomp.solvable.gseries",
            "mathcomp.solvable.nilpotent",
            "mathcomp.solvable.sylow",
            "mathcomp.solvable.abelian",
            "mathcomp.solvable.finmodule",
            "mathcomp.algebra.matrix",
            "mathcomp.solvable.maximal",
            "mathcomp.solvable.extremal"
          ]
        },
        "mathcomp.solvable.extremal":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.bigop",
            "mathcomp.ssreflect.finset",
            "mathcomp.ssreflect.prime",
            "mathcomp.ssreflect.binomial",
            "mathcomp.fingroup.fingroup",
            "mathcomp.fingroup.morphism",
            "mathcomp.fingroup.perm",
            "mathcomp.fingroup.automorphism",
            "mathcomp.fingroup.presentation",
            "mathcomp.fingroup.quotient",
            "mathcomp.fingroup.action",
            "mathcomp.solvable.commutator",
            "mathcomp.fingroup.gproduct",
            "mathcomp.solvable.gfunctor",
            "mathcomp.algebra.ssralg",
            "mathcomp.algebra.countalg",
            "mathcomp.algebra.finalg",
            "mathcomp.algebra.zmodp",
            "mathcomp.solvable.cyclic",
            "mathcomp.solvable.pgroup",
            "mathcomp.solvable.center",
            "mathcomp.solvable.gseries",
            "mathcomp.solvable.nilpotent",
            "mathcomp.solvable.sylow",
            "mathcomp.solvable.abelian",
            "mathcomp.solvable.finmodule",
            "mathcomp.algebra.matrix",
            "mathcomp.solvable.maximal"
          ]
        },
        "mathcomp.solvable.finmodule":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.path",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.bigop",
            "mathcomp.algebra.ssralg",
            "mathcomp.ssreflect.finset",
            "mathcomp.fingroup.fingroup",
            "mathcomp.fingroup.morphism",
            "mathcomp.fingroup.perm",
            "mathcomp.algebra.finalg",
            "mathcomp.fingroup.action",
            "mathcomp.fingroup.gproduct",
            "mathcomp.solvable.commutator",
            "mathcomp.solvable.cyclic"
          ]
        },
        "mathcomp.solvable.frobenius":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.bigop",
            "mathcomp.ssreflect.prime",
            "mathcomp.ssreflect.finset",
            "mathcomp.fingroup.fingroup",
            "mathcomp.fingroup.morphism",
            "mathcomp.fingroup.perm",
            "mathcomp.fingroup.action",
            "mathcomp.fingroup.quotient",
            "mathcomp.fingroup.gproduct",
            "mathcomp.solvable.cyclic",
            "mathcomp.solvable.center",
            "mathcomp.solvable.pgroup",
            "mathcomp.solvable.nilpotent",
            "mathcomp.solvable.sylow",
            "mathcomp.solvable.hall",
            "mathcomp.solvable.abelian"
          ]
        },
        "mathcomp.solvable.gfunctor":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.bigop",
            "mathcomp.ssreflect.finset",
            "mathcomp.fingroup.fingroup",
            "mathcomp.fingroup.morphism",
            "mathcomp.fingroup.automorphism",
            "mathcomp.fingroup.quotient",
            "mathcomp.fingroup.gproduct"
          ]
        },
        "mathcomp.solvable.gseries":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.path",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.bigop",
            "mathcomp.ssreflect.finset",
            "mathcomp.fingroup.fingroup",
            "mathcomp.fingroup.morphism",
            "mathcomp.fingroup.automorphism",
            "mathcomp.fingroup.quotient",
            "mathcomp.fingroup.action",
            "mathcomp.solvable.commutator",
            "mathcomp.solvable.center"
          ]
        },
        "mathcomp.solvable.hall":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.finset",
            "mathcomp.ssreflect.prime",
            "mathcomp.fingroup.fingroup",
            "mathcomp.fingroup.morphism",
            "mathcomp.fingroup.automorphism",
            "mathcomp.fingroup.quotient",
            "mathcomp.fingroup.action",
            "mathcomp.fingroup.gproduct",
            "mathcomp.solvable.gfunctor",
            "mathcomp.solvable.commutator",
            "mathcomp.solvable.center",
            "mathcomp.solvable.pgroup",
            "mathcomp.solvable.finmodule",
            "mathcomp.solvable.nilpotent",
            "mathcomp.solvable.sylow",
            "mathcomp.solvable.abelian",
            "mathcomp.solvable.maximal"
          ]
        },
        "mathcomp.solvable.jordanholder":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.path",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.bigop",
            "mathcomp.ssreflect.finset",
            "mathcomp.fingroup.fingroup",
            "mathcomp.fingroup.morphism",
            "mathcomp.fingroup.automorphism",
            "mathcomp.fingroup.quotient",
            "mathcomp.fingroup.action",
            "mathcomp.solvable.gseries"
          ]
        },
        "mathcomp.solvable.maximal":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.finfun",
            "mathcomp.ssreflect.bigop",
            "mathcomp.ssreflect.finset",
            "mathcomp.ssreflect.prime",
            "mathcomp.ssreflect.binomial",
            "mathcomp.fingroup.fingroup",
            "mathcomp.fingroup.morphism",
            "mathcomp.fingroup.perm",
            "mathcomp.fingroup.automorphism",
            "mathcomp.fingroup.quotient",
            "mathcomp.fingroup.action",
            "mathcomp.solvable.commutator",
            "mathcomp.fingroup.gproduct",
            "mathcomp.solvable.gfunctor",
            "mathcomp.algebra.ssralg",
            "mathcomp.algebra.countalg",
            "mathcomp.algebra.finalg",
            "mathcomp.algebra.zmodp",
            "mathcomp.solvable.cyclic",
            "mathcomp.solvable.pgroup",
            "mathcomp.solvable.center",
            "mathcomp.solvable.gseries",
            "mathcomp.solvable.nilpotent",
            "mathcomp.solvable.sylow",
            "mathcomp.solvable.abelian",
            "mathcomp.solvable.finmodule"
          ]
        },
        "mathcomp.solvable.nilpotent":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.path",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.bigop",
            "mathcomp.ssreflect.prime",
            "mathcomp.ssreflect.finset",
            "mathcomp.fingroup.fingroup",
            "mathcomp.fingroup.morphism",
            "mathcomp.fingroup.automorphism",
            "mathcomp.fingroup.quotient",
            "mathcomp.solvable.commutator",
            "mathcomp.fingroup.gproduct",
            "mathcomp.solvable.gfunctor",
            "mathcomp.solvable.center",
            "mathcomp.solvable.gseries",
            "mathcomp.solvable.cyclic"
          ]
        },
        "mathcomp.solvable.pgroup":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.bigop",
            "mathcomp.ssreflect.finset",
            "mathcomp.ssreflect.prime",
            "mathcomp.fingroup.fingroup",
            "mathcomp.fingroup.morphism",
            "mathcomp.solvable.gfunctor",
            "mathcomp.fingroup.automorphism",
            "mathcomp.fingroup.quotient",
            "mathcomp.fingroup.action",
            "mathcomp.fingroup.gproduct",
            "mathcomp.solvable.cyclic"
          ]
        },
        "mathcomp.solvable.primitive_action":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.tuple",
            "mathcomp.ssreflect.finset",
            "mathcomp.fingroup.fingroup",
            "mathcomp.fingroup.action",
            "mathcomp.solvable.gseries"
          ]
        },
        "mathcomp.solvable.sylow":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.prime",
            "mathcomp.ssreflect.bigop",
            "mathcomp.ssreflect.finset",
            "mathcomp.fingroup.fingroup",
            "mathcomp.fingroup.morphism",
            "mathcomp.fingroup.automorphism",
            "mathcomp.fingroup.quotient",
            "mathcomp.fingroup.action",
            "mathcomp.solvable.cyclic",
            "mathcomp.fingroup.gproduct",
            "mathcomp.solvable.gfunctor",
            "mathcomp.solvable.commutator",
            "mathcomp.solvable.pgroup",
            "mathcomp.solvable.center",
            "mathcomp.solvable.nilpotent"
          ]
        }
      }
    },
    {
      "name":"mathcomp-field",
      "deps":[],
      "modules":{
        "mathcomp.field.algC":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.path",
            "mathcomp.ssreflect.bigop",
            "mathcomp.ssreflect.finset",
            "mathcomp.ssreflect.prime",
            "mathcomp.ssreflect.order",
            "mathcomp.algebra.ssralg",
            "mathcomp.algebra.poly",
            "mathcomp.algebra.polydiv",
            "mathcomp.algebra.mxpoly",
            "mathcomp.ssreflect.generic_quotient",
            "mathcomp.algebra.countalg",
            "mathcomp.algebra.ssrnum",
            "mathcomp.field.closed_field",
            "mathcomp.algebra.ssrint",
            "mathcomp.algebra.rat",
            "mathcomp.algebra.intdiv",
            "mathcomp.field.algebraics_fundamentals"
          ]
        },
        "mathcomp.field.algebraics_fundamentals":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.path",
            "mathcomp.ssreflect.tuple",
            "mathcomp.ssreflect.bigop",
            "mathcomp.ssreflect.finset",
            "mathcomp.ssreflect.prime",
            "mathcomp.ssreflect.order",
            "mathcomp.algebra.ssralg",
            "mathcomp.algebra.poly",
            "mathcomp.algebra.polydiv",
            "mathcomp.algebra.mxpoly",
            "mathcomp.algebra.countalg",
            "mathcomp.field.closed_field",
            "mathcomp.algebra.ssrnum",
            "mathcomp.algebra.ssrint",
            "mathcomp.algebra.rat",
            "mathcomp.algebra.intdiv",
            "mathcomp.fingroup.fingroup",
            "mathcomp.algebra.finalg",
            "mathcomp.algebra.zmodp",
            "mathcomp.solvable.cyclic",
            "mathcomp.solvable.pgroup",
            "mathcomp.solvable.sylow",
            "mathcomp.algebra.vector",
            "mathcomp.field.falgebra",
            "mathcomp.field.fieldext",
            "mathcomp.field.separable",
            "mathcomp.field.galois"
          ]
        },
        "mathcomp.field.algnum":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.path",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.tuple",
            "mathcomp.ssreflect.finfun",
            "mathcomp.ssreflect.bigop",
            "mathcomp.ssreflect.prime",
            "mathcomp.algebra.ssralg",
            "mathcomp.algebra.finalg",
            "mathcomp.algebra.zmodp",
            "mathcomp.algebra.poly",
            "mathcomp.algebra.ssrnum",
            "mathcomp.algebra.ssrint",
            "mathcomp.algebra.rat",
            "mathcomp.algebra.polydiv",
            "mathcomp.algebra.intdiv",
            "mathcomp.field.algC",
            "mathcomp.algebra.matrix",
            "mathcomp.algebra.mxalgebra",
            "mathcomp.algebra.mxpoly",
            "mathcomp.algebra.vector",
            "mathcomp.field.falgebra",
            "mathcomp.field.fieldext",
            "mathcomp.field.separable",
            "mathcomp.field.galois",
            "mathcomp.field.cyclotomic"
          ]
        },
        "mathcomp.field.all_field":{
          "deps":[
            "mathcomp.field.algC",
            "mathcomp.field.algebraics_fundamentals",
            "mathcomp.field.algnum",
            "mathcomp.field.closed_field",
            "mathcomp.field.cyclotomic",
            "mathcomp.field.falgebra",
            "mathcomp.field.fieldext",
            "mathcomp.field.finfield",
            "mathcomp.field.galois",
            "mathcomp.field.separable"
          ]
        },
        "mathcomp.field.closed_field":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.generic_quotient",
            "mathcomp.ssreflect.bigop",
            "mathcomp.algebra.ssralg",
            "mathcomp.algebra.poly",
            "mathcomp.algebra.polydiv",
            "mathcomp.algebra.matrix",
            "mathcomp.algebra.mxpoly",
            "mathcomp.algebra.countalg",
            "mathcomp.algebra.ring_quotient"
          ]
        },
        "mathcomp.field.cyclotomic":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.path",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.tuple",
            "mathcomp.ssreflect.finfun",
            "mathcomp.ssreflect.bigop",
            "mathcomp.ssreflect.prime",
            "mathcomp.algebra.ssralg",
            "mathcomp.algebra.poly",
            "mathcomp.ssreflect.finset",
            "mathcomp.fingroup.fingroup",
            "mathcomp.algebra.finalg",
            "mathcomp.algebra.zmodp",
            "mathcomp.solvable.cyclic",
            "mathcomp.algebra.ssrnum",
            "mathcomp.algebra.ssrint",
            "mathcomp.algebra.polydiv",
            "mathcomp.algebra.rat",
            "mathcomp.algebra.intdiv",
            "mathcomp.algebra.mxpoly",
            "mathcomp.algebra.vector",
            "mathcomp.field.falgebra",
            "mathcomp.field.fieldext",
            "mathcomp.field.separable",
            "mathcomp.field.galois",
            "mathcomp.field.algC"
          ]
        },
        "mathcomp.field.falgebra":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.path",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.tuple",
            "mathcomp.ssreflect.finfun",
            "mathcomp.ssreflect.bigop",
            "mathcomp.algebra.ssralg",
            "mathcomp.algebra.finalg",
            "mathcomp.algebra.zmodp",
            "mathcomp.algebra.matrix",
            "mathcomp.algebra.vector",
            "mathcomp.algebra.poly"
          ]
        },
        "mathcomp.field.fieldext":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.tuple",
            "mathcomp.ssreflect.finfun",
            "mathcomp.ssreflect.bigop",
            "mathcomp.algebra.ssralg",
            "mathcomp.algebra.countalg",
            "mathcomp.algebra.finalg",
            "mathcomp.algebra.zmodp",
            "mathcomp.algebra.matrix",
            "mathcomp.algebra.vector",
            "mathcomp.field.falgebra",
            "mathcomp.algebra.poly",
            "mathcomp.algebra.polydiv",
            "mathcomp.algebra.mxpoly",
            "mathcomp.ssreflect.generic_quotient"
          ]
        },
        "mathcomp.field.finfield":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.tuple",
            "mathcomp.ssreflect.bigop",
            "mathcomp.ssreflect.prime",
            "mathcomp.ssreflect.finset",
            "mathcomp.fingroup.fingroup",
            "mathcomp.algebra.ssralg",
            "mathcomp.algebra.poly",
            "mathcomp.algebra.polydiv",
            "mathcomp.fingroup.morphism",
            "mathcomp.fingroup.action",
            "mathcomp.algebra.countalg",
            "mathcomp.algebra.finalg",
            "mathcomp.algebra.zmodp",
            "mathcomp.solvable.cyclic",
            "mathcomp.solvable.center",
            "mathcomp.solvable.pgroup",
            "mathcomp.solvable.abelian",
            "mathcomp.algebra.matrix",
            "mathcomp.algebra.mxpoly",
            "mathcomp.algebra.vector",
            "mathcomp.field.falgebra",
            "mathcomp.field.fieldext",
            "mathcomp.field.separable",
            "mathcomp.field.galois",
            "mathcomp.algebra.ssrnum",
            "mathcomp.algebra.ssrint",
            "mathcomp.field.algC",
            "mathcomp.field.cyclotomic"
          ]
        },
        "mathcomp.field.galois":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.tuple",
            "mathcomp.ssreflect.finfun",
            "mathcomp.ssreflect.bigop",
            "mathcomp.algebra.ssralg",
            "mathcomp.algebra.poly",
            "mathcomp.algebra.polydiv",
            "mathcomp.ssreflect.finset",
            "mathcomp.fingroup.fingroup",
            "mathcomp.fingroup.morphism",
            "mathcomp.fingroup.quotient",
            "mathcomp.fingroup.perm",
            "mathcomp.fingroup.action",
            "mathcomp.algebra.zmodp",
            "mathcomp.solvable.cyclic",
            "mathcomp.algebra.matrix",
            "mathcomp.algebra.mxalgebra",
            "mathcomp.algebra.vector",
            "mathcomp.field.falgebra",
            "mathcomp.field.fieldext",
            "mathcomp.field.separable"
          ]
        },
        "mathcomp.field.separable":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.tuple",
            "mathcomp.ssreflect.finfun",
            "mathcomp.ssreflect.bigop",
            "mathcomp.ssreflect.finset",
            "mathcomp.ssreflect.prime",
            "mathcomp.ssreflect.binomial",
            "mathcomp.algebra.ssralg",
            "mathcomp.algebra.poly",
            "mathcomp.algebra.polydiv",
            "mathcomp.fingroup.fingroup",
            "mathcomp.fingroup.perm",
            "mathcomp.fingroup.morphism",
            "mathcomp.fingroup.quotient",
            "mathcomp.fingroup.gproduct",
            "mathcomp.algebra.finalg",
            "mathcomp.algebra.zmodp",
            "mathcomp.solvable.cyclic",
            "mathcomp.algebra.matrix",
            "mathcomp.algebra.mxalgebra",
            "mathcomp.algebra.mxpoly",
            "mathcomp.algebra.polyXY",
            "mathcomp.algebra.vector",
            "mathcomp.field.falgebra",
            "mathcomp.field.fieldext"
          ]
        }
      }
    },
    {
      "name":"mathcomp-character",
      "deps":[],
      "modules":{
        "mathcomp.character.all_character":{
          "deps":[
            "mathcomp.character.character",
            "mathcomp.character.classfun",
            "mathcomp.character.inertia",
            "mathcomp.character.integral_char",
            "mathcomp.character.mxabelem",
            "mathcomp.character.mxrepresentation",
            "mathcomp.character.vcharacter"
          ]
        },
        "mathcomp.character.character":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.path",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.tuple",
            "mathcomp.ssreflect.finfun",
            "mathcomp.ssreflect.bigop",
            "mathcomp.ssreflect.prime",
            "mathcomp.ssreflect.order",
            "mathcomp.algebra.ssralg",
            "mathcomp.algebra.poly",
            "mathcomp.ssreflect.finset",
            "mathcomp.fingroup.gproduct",
            "mathcomp.fingroup.fingroup",
            "mathcomp.fingroup.morphism",
            "mathcomp.fingroup.perm",
            "mathcomp.fingroup.automorphism",
            "mathcomp.fingroup.quotient",
            "mathcomp.algebra.finalg",
            "mathcomp.fingroup.action",
            "mathcomp.algebra.zmodp",
            "mathcomp.solvable.commutator",
            "mathcomp.solvable.cyclic",
            "mathcomp.solvable.center",
            "mathcomp.solvable.pgroup",
            "mathcomp.solvable.nilpotent",
            "mathcomp.solvable.sylow",
            "mathcomp.solvable.abelian",
            "mathcomp.algebra.matrix",
            "mathcomp.algebra.mxalgebra",
            "mathcomp.algebra.mxpoly",
            "mathcomp.character.mxrepresentation",
            "mathcomp.algebra.vector",
            "mathcomp.algebra.ssrnum",
            "mathcomp.field.algC",
            "mathcomp.character.classfun"
          ]
        },
        "mathcomp.character.classfun":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.path",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.tuple",
            "mathcomp.ssreflect.finfun",
            "mathcomp.ssreflect.bigop",
            "mathcomp.ssreflect.prime",
            "mathcomp.ssreflect.order",
            "mathcomp.algebra.ssralg",
            "mathcomp.algebra.poly",
            "mathcomp.ssreflect.finset",
            "mathcomp.fingroup.fingroup",
            "mathcomp.fingroup.morphism",
            "mathcomp.fingroup.perm",
            "mathcomp.fingroup.automorphism",
            "mathcomp.fingroup.quotient",
            "mathcomp.algebra.finalg",
            "mathcomp.fingroup.action",
            "mathcomp.fingroup.gproduct",
            "mathcomp.algebra.zmodp",
            "mathcomp.solvable.commutator",
            "mathcomp.solvable.cyclic",
            "mathcomp.solvable.center",
            "mathcomp.solvable.pgroup",
            "mathcomp.solvable.sylow",
            "mathcomp.algebra.matrix",
            "mathcomp.algebra.vector",
            "mathcomp.field.falgebra",
            "mathcomp.algebra.ssrnum",
            "mathcomp.field.algC",
            "mathcomp.field.algnum"
          ]
        },
        "mathcomp.character.inertia":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.path",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.tuple",
            "mathcomp.ssreflect.finfun",
            "mathcomp.ssreflect.bigop",
            "mathcomp.ssreflect.prime",
            "mathcomp.ssreflect.order",
            "mathcomp.algebra.ssralg",
            "mathcomp.algebra.ssrnum",
            "mathcomp.ssreflect.finset",
            "mathcomp.fingroup.fingroup",
            "mathcomp.fingroup.morphism",
            "mathcomp.fingroup.perm",
            "mathcomp.fingroup.automorphism",
            "mathcomp.fingroup.quotient",
            "mathcomp.fingroup.action",
            "mathcomp.algebra.zmodp",
            "mathcomp.solvable.cyclic",
            "mathcomp.solvable.center",
            "mathcomp.fingroup.gproduct",
            "mathcomp.solvable.commutator",
            "mathcomp.solvable.gseries",
            "mathcomp.solvable.nilpotent",
            "mathcomp.solvable.pgroup",
            "mathcomp.solvable.sylow",
            "mathcomp.solvable.maximal",
            "mathcomp.solvable.frobenius",
            "mathcomp.algebra.matrix",
            "mathcomp.algebra.mxalgebra",
            "mathcomp.character.mxrepresentation",
            "mathcomp.algebra.vector",
            "mathcomp.field.algC",
            "mathcomp.character.classfun",
            "mathcomp.character.character"
          ]
        },
        "mathcomp.character.integral_char":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.path",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.tuple",
            "mathcomp.ssreflect.finfun",
            "mathcomp.ssreflect.bigop",
            "mathcomp.ssreflect.prime",
            "mathcomp.ssreflect.order",
            "mathcomp.algebra.ssralg",
            "mathcomp.algebra.poly",
            "mathcomp.ssreflect.finset",
            "mathcomp.fingroup.fingroup",
            "mathcomp.fingroup.morphism",
            "mathcomp.fingroup.perm",
            "mathcomp.fingroup.automorphism",
            "mathcomp.fingroup.quotient",
            "mathcomp.fingroup.action",
            "mathcomp.algebra.countalg",
            "mathcomp.algebra.finalg",
            "mathcomp.algebra.zmodp",
            "mathcomp.solvable.commutator",
            "mathcomp.solvable.cyclic",
            "mathcomp.solvable.center",
            "mathcomp.solvable.pgroup",
            "mathcomp.solvable.sylow",
            "mathcomp.solvable.gseries",
            "mathcomp.solvable.nilpotent",
            "mathcomp.solvable.abelian",
            "mathcomp.algebra.ssrnum",
            "mathcomp.algebra.ssrint",
            "mathcomp.algebra.polydiv",
            "mathcomp.algebra.rat",
            "mathcomp.algebra.matrix",
            "mathcomp.algebra.mxalgebra",
            "mathcomp.algebra.intdiv",
            "mathcomp.algebra.mxpoly",
            "mathcomp.algebra.vector",
            "mathcomp.field.falgebra",
            "mathcomp.field.fieldext",
            "mathcomp.field.separable",
            "mathcomp.field.galois",
            "mathcomp.field.algC",
            "mathcomp.field.cyclotomic",
            "mathcomp.field.algnum",
            "mathcomp.character.mxrepresentation",
            "mathcomp.character.classfun",
            "mathcomp.character.character"
          ]
        },
        "mathcomp.character.mxabelem":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.path",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.tuple",
            "mathcomp.ssreflect.finfun",
            "mathcomp.ssreflect.bigop",
            "mathcomp.ssreflect.prime",
            "mathcomp.algebra.ssralg",
            "mathcomp.algebra.poly",
            "mathcomp.ssreflect.finset",
            "mathcomp.fingroup.fingroup",
            "mathcomp.fingroup.morphism",
            "mathcomp.fingroup.perm",
            "mathcomp.fingroup.automorphism",
            "mathcomp.fingroup.quotient",
            "mathcomp.fingroup.gproduct",
            "mathcomp.fingroup.action",
            "mathcomp.algebra.finalg",
            "mathcomp.algebra.zmodp",
            "mathcomp.solvable.commutator",
            "mathcomp.solvable.cyclic",
            "mathcomp.solvable.center",
            "mathcomp.solvable.pgroup",
            "mathcomp.solvable.gseries",
            "mathcomp.solvable.nilpotent",
            "mathcomp.solvable.sylow",
            "mathcomp.solvable.maximal",
            "mathcomp.solvable.abelian",
            "mathcomp.algebra.matrix",
            "mathcomp.algebra.mxalgebra",
            "mathcomp.character.mxrepresentation"
          ]
        },
        "mathcomp.character.mxrepresentation":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.path",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.tuple",
            "mathcomp.ssreflect.finfun",
            "mathcomp.ssreflect.bigop",
            "mathcomp.ssreflect.prime",
            "mathcomp.algebra.ssralg",
            "mathcomp.algebra.poly",
            "mathcomp.algebra.polydiv",
            "mathcomp.ssreflect.finset",
            "mathcomp.fingroup.fingroup",
            "mathcomp.fingroup.morphism",
            "mathcomp.fingroup.perm",
            "mathcomp.fingroup.automorphism",
            "mathcomp.fingroup.quotient",
            "mathcomp.algebra.finalg",
            "mathcomp.fingroup.action",
            "mathcomp.algebra.zmodp",
            "mathcomp.solvable.commutator",
            "mathcomp.solvable.cyclic",
            "mathcomp.solvable.center",
            "mathcomp.solvable.pgroup",
            "mathcomp.algebra.matrix",
            "mathcomp.algebra.mxalgebra",
            "mathcomp.algebra.mxpoly"
          ]
        },
        "mathcomp.character.vcharacter":{
          "deps":[
            "mathcomp.ssreflect.ssreflect",
            "mathcomp.ssreflect.ssrbool",
            "mathcomp.ssreflect.ssrfun",
            "mathcomp.ssreflect.eqtype",
            "mathcomp.ssreflect.ssrnat",
            "mathcomp.ssreflect.seq",
            "mathcomp.ssreflect.path",
            "mathcomp.ssreflect.div",
            "mathcomp.ssreflect.choice",
            "mathcomp.ssreflect.fintype",
            "mathcomp.ssreflect.tuple",
            "mathcomp.ssreflect.finfun",
            "mathcomp.ssreflect.bigop",
            "mathcomp.ssreflect.prime",
            "mathcomp.ssreflect.order",
            "mathcomp.algebra.ssralg",
            "mathcomp.algebra.poly",
            "mathcomp.ssreflect.finset",
            "mathcomp.fingroup.fingroup",
            "mathcomp.fingroup.morphism",
            "mathcomp.fingroup.perm",
            "mathcomp.fingroup.automorphism",
            "mathcomp.fingroup.quotient",
            "mathcomp.algebra.finalg",
            "mathcomp.fingroup.action",
            "mathcomp.fingroup.gproduct",
            "mathcomp.algebra.zmodp",
            "mathcomp.solvable.commutator",
            "mathcomp.solvable.cyclic",
            "mathcomp.solvable.center",
            "mathcomp.solvable.pgroup",
            "mathcomp.solvable.sylow",
            "mathcomp.solvable.frobenius",
            "mathcomp.algebra.vector",
            "mathcomp.algebra.ssrnum",
            "mathcomp.algebra.ssrint",
            "mathcomp.algebra.intdiv",
            "mathcomp.field.algC",
            "mathcomp.field.algnum",
            "mathcomp.character.classfun",
            "mathcomp.character.character",
            "mathcomp.character.integral_char"
          ]
        }
      }
    }
  ]
}