)]}'
{
  "id": "84e0184a2a1f75d9037c4b80fc9109f8e2b16a3c",
  "repo": "3p/sel4/camkes",
  "revision": "cb16a1c46eee4d9c08d81dce135619acb77f6e92",
  "path": "apps/binary-semaphore/src/client.c"
}