)]}'
{
  "id": "0be9c395827d9030e2cf1ea197b55e319ee73bfa",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "02b7b8a4145497e6c05463467be2b81221f0a646",
      "name": "sel4utils"
    }
  ]
}