)]}'
{
  "id": "ac1dc5d46fcfe59f46b1f583a45e0feb7b64cdc1",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "231751893d628d124b6f8647466b00ad379122a0",
      "name": "Attr.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7abe25819e28e737e9fb51e2f9cc99f656789549",
      "name": "Basic.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "13068794db046995afb1c7fdabfd0141e97e759e",
      "name": "Provider.lean"
    }
  ]
}