)]}'
{
  "id": "ddbba7fab31e4e3b83031bfd8b6655ef25beec7f",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "3a3e34dd697bb9d69536bd3b46fa393d41ac39f9",
      "name": "sel4utils"
    }
  ]
}