)]}'
{
  "id": "4a56715fc5136e8de14f38a56a075ab1d5d9eb0f",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "4a8c5dc76d1ffec4171b10d5e95d0e7731181cb6",
      "name": "FilePath.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f391dedec4fc7b351d9b4bbea5f93d576320b1e0",
      "name": "IO.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4e76bb964ee1b046800b53f5da996b104bb0b639",
      "name": "IOError.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b4ee170eb7a693c840741419254d539025dbdc74",
      "name": "Mutex.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9db2b508f48f837b800ff118e49eebd0bd36b447",
      "name": "Platform.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e3586dab77a7b1f2b643f3d948be65eaef7f3c45",
      "name": "Promise.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "15b120b2bfb8c3b3ce6882d0107d16d8b600b921",
      "name": "ST.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5e7cf47c3f5290c36108efe213e8a26c164393e1",
      "name": "Uri.lean"
    }
  ]
}