)]}'
{
  "id": "95dffe5047fb33c181029d3649e32186c39c1857",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "5a744e2f96c7fdf3e18333fc8c0eeec624dfd040",
      "name": "sel4utils"
    }
  ]
}