)]}'
{
  "id": "fc87591beb04d86944c3c1fc2f15d4a1c5ee3725",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "26006900412e39651683412e70cacf738d0cc2d6",
      "name": "sel4utils"
    }
  ]
}