)]}'
{
  "id": "d9f83d062e89011dee538ef6c0563d908ba353dc",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "5032e22b7bbb2989e25de89906bece67638a1ecc",
      "name": "sel4utils"
    }
  ]
}