)]}'
{
  "id": "f7b825de06e79a19b63c4c0e3ddd18f5003a88bc",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "7abf53f4cec707dcc39bede6caf83f835767e60c",
      "name": "sel4utils"
    }
  ]
}