{
  "name": "algebra-tactics",
  "deps": [],
  "modules": {
    "mathcomp.algebra_tactics.common": {
      "deps": [
        "Coq.QArith.QArith",
        "Coq.micromega.OrderedRing",
        "Coq.micromega.RingMicromega"
      ]
    },
    "mathcomp.algebra_tactics.lra": {
      "deps": [
        "Coq.QArith.QArith",
        "Coq.setoid_ring.Ring",
        "Coq.micromega.RingMicromega",
        "Coq.micromega.QMicromega",
        "Coq.micromega.EnvRing",
        "Coq.micromega.Tauto",
        "Coq.micromega.Lqa",
        "mathcomp.algebra_tactics.common"
      ]
    },
    "mathcomp.algebra_tactics.ring": {
      "deps": [
        "Coq.ZArith.ZArith",
        "Coq.setoid_ring.Ring",
        "Coq.setoid_ring.Ring_polynom",
        "Coq.setoid_ring.Field_theory",
        "mathcomp.algebra_tactics.common"
      ]
    }
  }
}