)]}'
{
  "id": "5648a25a264d370f2e0cc35dc0a0dc5fbde91324",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "142d0d78e2280a397d7aa57a55eec44f18eeb638",
      "name": "sel4utils"
    }
  ]
}