)]}'
{
  "id": "f063044f2602f21c8d486146b85ed6032d9a2ac5",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "72e0fc629da75b7ca677f7603bf482834388b959",
      "name": "AsyncList.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7424d5b25b8eb17e03d1cdf08dc7e861b1557b98",
      "name": "CodeActions.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "723b69c7f76b8abf2ce99529ad50f54f40feb5a2",
      "name": "Completion.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d0024073e98b6c2d86dca0947bffa347fe94453a",
      "name": "FileSource.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c0ffdd37e178813af5553014c310a4728c0d52c8",
      "name": "FileWorker.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "9a7684336ea95785d2d1cfe9f4fe22eff8298b15",
      "name": "FileWorker"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "313d0db91862b6e390ecbef0359100adc254a550",
      "name": "GoTo.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a9f52e24729bd313f7f01a750683cf37b2a97cfa",
      "name": "InfoUtils.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b6d1a0d01363cff3beb5b1f87c9ab7cf7c44507e",
      "name": "README.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "44fb928f3cf50eae11b87718aa597907f614c30f",
      "name": "References.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "901fdfb9f219d6b9fb71eb7ca2bdf2c564054d88",
      "name": "Requests.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d4d6c0ab0ca918792d06c9496140a766f7362858",
      "name": "Rpc.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "4bf8480218b3926e165dac06986fa202c87748eb",
      "name": "Rpc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f49e5db56449274b68ec7cdd6a322cc8b45b80a0",
      "name": "Snapshots.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4827739d4205ddcbea5a90394c100ab05f3f5f89",
      "name": "Utils.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "dadce6cac3f65f762daaecbbbef597a31454b3d7",
      "name": "Watchdog.lean"
    }
  ]
}