)]}'
{
  "id": "481e8d077fdb5d50dad66e508379ff3c628f0305",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "426aaa91e0208233fe98c11cb4985dd732ac7e41",
      "name": "AsyncList.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6642fb33721af3bde544cdaba4a271d93fef8bfa",
      "name": "CodeActions.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "ac1dc5d46fcfe59f46b1f583a45e0feb7b64cdc1",
      "name": "CodeActions"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b4be29e8fe80cff4b2888385ff51acd61754a392",
      "name": "Completion.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "313c9600513e2bc5e27613fb728d533afb63ced7",
      "name": "CompletionItemData.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e61f162ae2b82c67da5ef594447be2594b21540a",
      "name": "FileSource.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a9b7f4d8885ea82469b7131507b59fea2211910d",
      "name": "FileWorker.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "e17d5d4fa99f925d25d41841e5e68d2f0610f472",
      "name": "FileWorker"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8bc60665322972a4b5d2fab58d64d6193a86622a",
      "name": "GoTo.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1e096a2152e79ddf7077434625060fc5b780ea21",
      "name": "ImportCompletion.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5596982f976e006b45e6135912c0b485d788a102",
      "name": "InfoUtils.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4bac3026e17b604888324821f5725e0338f802e3",
      "name": "README.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "2fa0e7936b48782f7a87028f193ed16ef689816f",
      "name": "References.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "44dfbc88d3333139bfb43b0c64ee3b807e6da79c",
      "name": "Requests.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1cad524cb4f39006606b74735577009814daba10",
      "name": "Rpc.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "6089ee48ab2d25e491f27dc6fb4997a26bd4e825",
      "name": "Rpc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "aafb68f304eccbb3fcf4efa15c16ecabcec5faec",
      "name": "Snapshots.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "01104108baf3f68e2e61a75b5eaa62c9273f3e3a",
      "name": "Utils.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "bef9b482fcd39478872e2a53da760363e245f0ce",
      "name": "Watchdog.lean"
    }
  ]
}