)]}'
{
  "id": "c2994748c824bfe00ec674d9d53f893f21ad628c",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "65a9e4790024571f9a116bbb54a5701d141e589e",
      "name": "sel4utils"
    }
  ]
}