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