)]}'
{
  "id": "e5e360e013f4dabf6cf0eca7d88d53c37b99a92a",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "1871bb163f1d7508bcd18aaa821cd54d18473069",
      "name": "sel4utils"
    }
  ]
}