)]}'
{
  "id": "3170712369ca142ff3243c016b09d7d4e0141ff8",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "150fe0af8a41bc60f1f605eba11886809421b736",
      "name": "Attribute.lean"
    }
  ]
}
