{
  "name": "elpi",
  "deps": [],
  "modules": {
    "elpi.elpi_plugin@cma": {},
    "elpi.elpi": {
      "deps": [
        "Coq.Init.Ltac",
        "Coq.Bool.Bool",
        "Coq.Floats.PrimFloat",
        "Coq.Numbers.Cyclic.Int63.PrimInt63"
      ]
    }
  }
}