)]}'
{
  "id": "3164734b2806bbe81d41807af38ed4e11a2a1c75",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "22539ec77dd45007883b975c0814020aa2ae4517",
      "name": "AsyncList.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5ff2b1d802959fa3f7af56fc59cc165749d4a0fe",
      "name": "Completion.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "755f49127cd93602f57edd8cc23191a6d25781d2",
      "name": "FileSource.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "946e34da5c6fb0f8a397c8b771be16bdc3a024d6",
      "name": "FileWorker.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9287ab71191bb80436dd5bf268bd2a51a7aa18a1",
      "name": "InfoUtils.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "83c62b86b5968916199cc41d76e739a6a46db74f",
      "name": "README.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "103c4f81aa38fe1dca0243dd12c7e45589db39b7",
      "name": "Snapshots.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e90bc1d98884cbd195be761a0e2189bd04eb921b",
      "name": "Utils.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3b2e05919e3201657a0ec0e6d8de373f4b098cda",
      "name": "Watchdog.lean"
    }
  ]
}