)]}'
{
  "id": "048613b73b1b4d136576fab1b39862d2218bd47a",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "48f0dee807719c25751c4df716db1b9b89143d72",
      "name": "sel4utils"
    }
  ]
}