)]}'
{
  "id": "b376a1b1fc8dd4928eb957432dfd91bd78be9ed2",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "59e66a974b3a1bf977be79fd66b4598b27563095",
      "name": "FilePath.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "18e7a7f9693e6a12a94f0c49fb46fabc3eec6023",
      "name": "IO.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c51cae9547a228d1407903d915063af81447dd5d",
      "name": "IOError.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ec53df8e03b6048ef7195a6bc46b60c649ff14f0",
      "name": "Platform.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "2ddda42a140b6a9f606a6fe5130f3d0f6ad5abb4",
      "name": "ST.lean"
    }
  ]
}