)]}'
{
  "id": "89fb6a757550edd7b8d26681d86bd4d879ad903c",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "aef5def493334cf9fce95d0518dc1791cb62d65a",
      "name": "sel4utils"
    }
  ]
}