)]}'
{
  "id": "cf24f7760c91da101c994835e14dd6a1d3aa516e",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "8e532008d820750d853efcf4b2a0e122b8fe4597",
      "name": "Basic.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "2548e9b23a19b58a16422a79890492a0da320207",
      "name": "Builtin.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b154439b7656b22e8b13a74b09aba2f1c0681bd2",
      "name": "Deprecated.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "672f896cdffcce3e46ec05b1151fb24c69402e33",
      "name": "MissingDocs.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e49c2f1bcab3464ecd4b116713e0722b85c45c27",
      "name": "UnusedVariables.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5d5fa8870122cf6f5e0f041af48dc3e601002408",
      "name": "Util.lean"
    }
  ]
}