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