{
  "name": "mczify",
  "deps": [],
  "modules": {
    "mathcomp.zify.ssrZ": { "deps": [ "Coq.ZArith.ZArith", "mathcomp.zify.zify_ssreflect" ] },
    "mathcomp.zify.zify": {
      "deps": [
        "Coq.micromega.Lia",
        "mathcomp.zify.zify_ssreflect",
        "mathcomp.zify.zify_algebra"
      ]
    },
    "mathcomp.zify.zify_algebra": {
      "deps": [
        "Coq.ZArith.ZArith",
        "Coq.micromega.ZifyClasses",
        "Coq.micromega.ZifyBool",
        "Coq.micromega.Lia",
        "mathcomp.zify.zify_ssreflect",
        "mathcomp.zify.ssrZ"
      ]
    },
    "mathcomp.zify.zify_ssreflect": {
      "deps": [
        "Coq.ZArith.ZArith",
        "Coq.micromega.ZifyClasses",
        "Coq.micromega.ZifyInst",
        "Coq.micromega.ZifyBool",
        "Coq.micromega.Lia"
      ]
    }
  }
}